Springer
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, Frg, April 17-21, 1990, Proceedings
Product Code:
9783540525134
ISBN13:
9783540525134
Condition:
New
$61.47
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, Frg, April 17-21, 1990, Proceedings
$61.47
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.
| Author: Dines Bj?rner |
| Publisher: Springer |
| Publication Date: Apr 04, 1990 |
| Number of Pages: 588 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540525130 |
| ISBN-13: 9783540525134 |
Related Products
