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. £8.25, 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: £3.99
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. £41.91, 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. £49.17, 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
Add this copy of VDM '90. VDM and Z - Formal Methods in Software to cart. £49.34, 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. £50.77, like new condition, Sold by GreatBookPricesUK5 rated 4.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 1990 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
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:
18577643999
Shipping Options:
Standard Shipping: £3.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Lecture Notes in Computer Science . XX, 588 p. Intended for college/higher education audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of VDM '90. VDM and Z - Formal Methods in Software to cart. £53.81, like new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 1990 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
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:
18575009695
Shipping Options:
Standard Shipping: £3.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Lecture Notes in Computer Science . XX, 588 p. Intended for college/higher education audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
