Join our mailing list
Get exclusive deals and learn about new products!
Skip to product information
VDM '90. VDM and Z - Formal Methods in Software Development Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
Sale price
$49.49
Regular price
$54.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science
VDM '90. VDM and Z - Formal Methods in Software Development
Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
Dines Bjørner | C.A.R. Hoare | Hans Langmaack
Computers / Computer Science
This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The proceedings published by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming.
| Publication Date: | 04 April 1990 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783540525134 |
| Format: | Paperback softback |
| Page Count: | 588 |