Home > VDM ' 87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
VDM ' 87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
Book Informaton
Author
Dines Bjørner; Cliff Jones; Michael Mac An Airchinnigh; Erich J. Neuhold
Series
Lecture Notes in Computer Science
Volume
252
Year of Publication
1987
Publisher
Springer Berlin Heidelberg
Pages
XI, 422
Language
en
ISBN
9783540176541, 9783540477402, 3540176543
ARI Id
1664439610332
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |