Current trends in programming methodology, vol.4: Data...

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

Current trends in programming methodology, vol.4: Data structuring

Raymond T. Yeh (eds.)

0 / 0

Jak bardzo podobała Ci się ta książka?

Jaka jest jakość pobranego pliku?

Pobierz książkę, aby ocenić jej jakość

Jaka jest jakość pobranych plików?

Kategorie:

Computers - Computer Science

Rok:

1978

Wydawnictwo:

Prentice-Hall

Język:

english

Strony:

321

ISBN 10:

013195735X

ISBN 13:

9780131957350

Serie:

v. 4

Plik:

DJVU, 3.63 MB

IPFS:

,

english, 1978

Ściągnij (djvu, 3.63 MB)

Trwa konwersja do

Konwersja do nie powiodła się

Możesz być zainteresowany

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

Eric C. R Hehner — a Practical Theory of Programming

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

John V. Guttag, James J. Horning (auth.), Søren Prehn, Hans Toetenel (eds.) — VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings

J G Turner; T L McCluskey — The construction of formal specifications : an introduction to the model-based and algebraic approaches

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

J. Craig Cleaveland — An Introduction to Data Types

Wladyslaw M. Turski, Thomas S. E. Maibaum — The Specification of Computer Programs

Bruno Buchberger (auth.), Alfonso Miola (eds.) — Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings

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

Eric C. R Hehner — A Practical Theory of Programming

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

Carlo Ghezzi, Mehdi Jazayeri — Programming Language Concepts

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

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

Ingo Wegener (auth.), Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari (eds.) — TAPSOFT '87: Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

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

Alfonso Miola — Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings

J. W. de Bakker, E. P. de Vink (auth.), S. Abramsky, T. S. E. Maibaum (eds.) — TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991

Armand Puccetti (auth.), Armand Puccetti (eds.) — The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software

John V. Guttag, James J. Horning (auth.), Søren Prehn, Hans Toetenel (eds.) — VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings

Bruno Buchberger (auth.), Alfonso Miola (eds.) — Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings

George J. Milne (auth.), Miriam Leeser, Geoffrey Brown (eds.) — Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings

Marie-Claude Gaudel, Gilles Bernot, Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner — Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)

Egidio Astesiano; Hans-Jörg Kreowski; Bernd Krieg-Brückner — Algebraic Foundations of Systems Specification

Najbardziej popularne frazy