Current trends in programming methodology, vol.1: Software...

Main
Computers - Computer Science
Current trends in programming...

Current trends in programming methodology, vol.1: Software specification and design

Raymond T. Yeh, K. Mani Chandy, Donald E. Knuth, Edsger W. Dijkstra

0 / 0

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

Current Trends in Programming Methodology, Vol. 1: Software Specification and Design, Raymond T. Yeh

カテゴリー:

Computers - Computer Science

年:

1977

出版社:

Prentice Hall

言語:

english

ページ:

275

ISBN 10:

0131957015

ISBN 13:

9780131957015

ファイル:

DJVU, 3.37 MB

IPFS:

,

english, 1977

オンラインで読む

への変換進行中。

への変換が失敗しました。

こちらはいかがでしょうか？

Donald E. Knuth — Surreal Numbers

Edsger W. Dijkstra — A Short Introduction To the Art of Programming

Donald E. Knuth — Mathematical writing

Ole-Johan Dahl, Edsger Wybe Dijkstra, Charles Antony Richard Hoare — Structured programming

Edsger W. Dijkstra — A Discipline of Programming

Donald E. Knuth — Surreal numbers: how two ex-students turned on to pure mathematics and found total happiness: a mathematical novelette

Edsger W. Dijkstra, Wim H. J. Feijen — A Method of Programming

Donald Erwin Knuth — The Computer Modern family of typefaces

Donald E. Knuth — Selected papers on the analysis of algorithms

Donald E. Knuth — Selected papers on discrete mathematics

Donald E. Knuth — Selected papers on computer science

C. A. R. Hoare, C. B. Jones — Essays in Computing Science (Prentice-Hall International Series in Computer Science)

Derek Partridge — Artificial Intelligence. Applications in the Future of Software Engineering

Heinz Zemanek (auth.), Dines Bjøorner (eds.) — Abstract Software Specifications: 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings

Liskov B. — A history of CLU

Gianna Cioni, Andrzej Salwicki — Advanced Programming Methodologies

Yeh, Raymond Tzuu-yau (eds.) — Current trends in programming methodology, vol.2: Program validation

Barbara Liskov, John V. Guttag — Abstraction and specification in program development

David Gries (ed.) — Programming Methodology: A Collection of Articles by Members of IFIP WG2.3

Darrel Ince, Derek Andrews — The Software Life Cycle

Meertens, Lambert G (eds.) — Program specification and transformation : proceedings of the IFIP TC2 / WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17 Apr., 1986

L.J.M. Claesen, M.J.C. Gordon — Higher Order Logic Theorem Proving and its Applications. Proceedings of the IFIP Tc10/wg 10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications–HOL '92 Organized by CHEOPS ESPRIT BRA 3215, Leuven, Belgium, 21–24 September 1

Carlo Ghezzi, Mehdi Jazayeri — Programming Language Concepts

R. D. Tennent — Specifying Software

Antonio Pizzarello — Development and Maintenance of Large Software Systems

Maurice Nivat, Charles Rattray BSc, MSc, FIMA, FBCS, C.Eng., C.Math., Teodor Rus PhD (auth.), Maurice Nivat, Charles Rattray BSc, MSc, FIMA, FBCS, C.Eng., C.Math., Teodor Rus PhD, Giuseppe Scollo PhD (eds.) — Algebraic Methodology and Software Technology (AMAST’93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993

John Mylopoulos, Hector J. Levesque (auth.), Michael L. Brodie, John Mylopoulos, Joachim W. Schmidt (eds.) — On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages

Dines Bjørner (auth.), J. Díaz, F. Orejas (eds.) — TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.) — FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Desconocido — Verified Software Theories Tools Experiments 1 Vstte 2005 4171 2008 3540691472 O 565s

Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue (auth.), Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani (eds.) — Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

主要なフレーズ