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

最常見的術語