Programming with VDM

Main
Computers - Programming
Programming with VDM

Programming with VDM

F. D. Rolland (auth.)

0 / 0

Sukakah Anda buku ini?

Bagaimana kualitas file yang diunduh?

Unduh buku untuk menilai kualitasnya

Bagaimana kualitas file yang diunduh?

Kategori:

Computers - Programming

Tahun:

1992

Penerbit:

Macmillan Education UK

Bahasa:

english

Halaman:

130

ISBN 10:

1349126942

ISBN 13:

9781349126941

Nama seri:

Macmillan Computer Science Series

File:

PDF, 8.44 MB

IPFS:

,

english, 1992

Mengunduh (pdf, 8.44 MB)

Pengubahan menjadi sedang diproses

Pengubahan menjadi gagal

Mungkin Anda tertarik

Unknown — "Application Program Interfaces". In: Wiley Encyclopedia of Electrical and Electronics Engineering

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

Nihon Sofutowea Kagakkai — Advances in Software Science and Technology

Gianna Cioni, Andrzej Salwicki — Advanced Programming Methodologies

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

Thomas J. Myers — Equations, Models and Programs: A Mathematical Introduction to Computer Science

Jim Welsh, John Elder — Introduction to Modula-2

J. Craig Cleaveland — An Introduction to Data Types

Quentin Charatan, Aaron Kans — Formal Software Development: From VDM to Java

Jill A. Hewitt, Raymond J. Frank (auth.) — Software Engineering in Modula-2: An Object-Oriented Approach

Peter H. Salus — The Handbook of Programming Languages (HPL): Object Oriented Programming Languages

Carlo Ghezzi, Mehdi Jazayeri — Programming Language Concepts

King, K. N. — Modula-2 : a complete guide

Peter H. Salus — The Handbook of Programming Languages (HPL): Object Oriented Programming Languages

John S. Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef — Validated Designs for Object-oriented Systems

L. Belady (auth.), Prof. Dipl.-Ing. Mag. Dr. Roland Mittermeir (eds.) — Shifting Paradigms in Software Engineering: Proceedings of the 7th Joint Conference of the Austrian Computer Society (OCG) and the John von Neumann Society for Computing Sciences (NJSZT) in Klagenfurt, Austria, 1992

Michael Jackson (auth.), S. Prehn, W. J. Toetenel (eds.) — VDM'91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 1991 Proceedings

Dave Thomas (auth.), Mario Tokoro, Remo Pareschi (eds.) — ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995

Dines Bjorner, C.A.R. Hoare, Hans Langmaack — Formal Methods in Software Development

Michael Jackson (auth.), S. Prehn, W. J. Toetenel (eds.) — VDM'91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 1991 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

C. B. Jones (auth.), James C. P. Woodcock, Peter G. Larsen (eds.) — FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings

Butler W. Lampson (auth.), Jürg Gutknecht (eds.) — Programming Languages and System Architectures: International Conference Zurich, Switzerland, March 2–4,1994 Proceedings

Dave Thomas (auth.), Mario Tokoro, Remo Pareschi (eds.) — ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995

Gerhard Goos (auth.), Hanspeter Mössenböck (eds.) — Modular Programming Languages: Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19–21, 1997 Proceedings

Istilah kunci