Take a photo of a barcode or cover
Read With Others
Book Information
504 pages • paperback • 2 editions
ISBN/UID: 9783540502142
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 30 Aug 1988
Description
This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering. It is being applied to an increasing number of pr...
Community Reviews
Content Warnings
504 pages • paperback
ISBN/UID: 9783540502142
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 30 Aug 1988
Description
This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering. It is being applied to an increasing number of pr...