Programming Methodology: A Collection of Articles by...

Main
Computers - Computer Science
Programming Methodology: A Collection...

Programming Methodology: A Collection of Articles by Members of IFIP WG2.3

David Gries (ed.)

0 / 0

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

Kategorien:

Computers - Computer Science

Jahr:

1978

Verlag:

Springer

Sprache:

english

Seiten:

454

ISBN 10:

0387903291

ISBN 13:

9780387903293

Serien:

Texts and Monographs in Computer Science

Datei:

DJVU, 4.85 MB

IPFS:

,

english, 1978

Online lesen

Die Konvertierung in ist im Gange

Die Konvertierung in ist fehlgeschlagen

Es kann für Sie interessant sein

David Gries — The science of programming

David Gries, Fred B. Schneider — A Logical Approach to Discrete Math

Per Brinch Hansen — The architecture of concurrent programs

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

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.) — Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Mads Dam, Frank Jensen (auth.), Bernard Robinet, Reinhard Wilhelm (eds.) — ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings

Edsger Wybe Dijkstra, C. A. R. Hoare, Ole-Johan Dahl — Structured Programming

Per Brinch Hansen — The architecture of concurrent programs

Raymond T. Yeh, K. Mani Chandy, Donald E. Knuth, Edsger W. Dijkstra — Current trends in programming methodology, vol.1: Software specification and design

Edsger W. Dijkstra (auth.), Manfred Broy (eds.) — Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Darrel Ince, Derek Andrews — The Software Life Cycle

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers — Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Antonio Pizzarello — Development and Maintenance of Large Software Systems

Per Brinch Hansen (Editor) — The Origin of Concurrent Programming From Semaphores to Remote Procedure Calls

W.H.J. Feijen, A.J.M. van Gasteren, D. Gries, J. Misra, (eds.) — Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra

Per Brinch Hansen — The Origin of Concurrent Programming

Broy, Manfred (ed.) — Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Péter Müller [Müller, Péter] — Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Ralph-Johan Back (auth.), Chris George, Huaikou Miao (eds.) — Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.) — Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Ikuo Sogami Norio Ise — Structured Programming

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

Jayadev Misra (auth.), Jean Pierre Banâtre, Daniel Le Métayer (eds.) — Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings

Jayadev Misra (auth.), Jean Pierre Banâtre, Daniel Le Métayer (eds.) — Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings

Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.) — Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Carroll Morgan (auth.), Manfred Broy (eds.) — Program Design Calculi

Am meisten angefragte Begriffe