The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose name is associated with set theory. Many computing science, programming and software engineering proceedings are published regularly. The ones by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming. In Europe, there is very much interest in methodology, semantics ...
Read More
The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose name is associated with set theory. Many computing science, programming and software engineering proceedings are published regularly. The ones by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming. In Europe, there is very much interest in methodology, semantics and techniques, that is, in understanding how we build and what it is that we are building. The papers of these proceedings basically fall into four major groups: Applications, Methodology, Formalisations, and Foundations. The Methodology group has been further subdivided into five areas: Specification Methodology, Design Methodology, Modularity, Object Orientedness, and Processes, Concurrency and Distributed Systems.
Read Less
Add this copy of Vdm '90. Vdm and Z-Formal Methods in Software to cart. $11.52, good condition, Sold by GuthrieBooks rated 5.0 out of 5 stars, ships from Spring Branch, TX, UNITED STATES, published 1990 by Springer.
Edition:
1990, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Add this copy of Vdm '90. Vdm and Z-Formal Methods in Software to cart. $12.00, Sold by Zubal Books rated 4.0 out of 5 stars, ships from Cleveland, OH, UNITED STATES, published 1990 by Springer.
Edition:
1990, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
1990
Language:
English
Alibris ID:
17758394061
Shipping Options:
Standard Shipping: $4.92
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
580 pp., Paperback, ex library, else text clean & binding tight. -If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Add this copy of Vdm '90. Vdm and Z-Formal Methods in Software to cart. $52.54, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1990 by Springer.
Edition:
1990, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Add this copy of VDM '90. VDM and Z - Formal Methods in Software to cart. $60.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1990 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
1990, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Add this copy of VDM '90. VDM and Z - Formal Methods in Software to cart. $61.22, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1990 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
1990, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
