Skip to product information
VDM '87. VDM - A Formal Method at Work VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
Sale price
$49.49
Regular price $54.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science
VDM '87. VDM - A Formal Method at Work
VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
Dines Bjørner | Cliff Jones | Michael Mac An Airchinnigh | Erich J. Neuhold
Computers / Software Development & Engineering / General
| Publication Date: | 11 March 1987 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783540176541 |
| Format: | Paperback softback |
| Page Count: | 422 |