An edition of VDM '87. VDM - A Formal Method at Work
(1987)
VDM '87. VDM - A Formal Method at Work
VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science)
1 edition
by Cliff Jones and Erich J. Neuhold
- 1 Want to read
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science)
April 6, 1987, Springer
Paperback
in English
- 1 edition
3540176543 9783540176541
|
aaaa
|
Book Details
First Sentence
"In this talk I want to trace the history of VDM by highlighting the important ideas that contributed to its present form and status."
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Source records
Community Reviews (0)
Lists