VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, Frg, April 17-21, 1990, Proceedings

by Hans Langmaack

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.

• Format: Paperback
• Language: English
• ISBN: B01IE2NPB6
• ISBN13: 9783540525134
• Release Date: April 1990
• Publisher: Springer
• Length: 588 Pages
• Weight: 1.84 lbs.
• Dimensions: 1.2" x 6.1" x 9.2"