ENGLISH

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

By Dines Bjørner , Cliff B. Jones , Peter Lucas (auth.) , Erich J. Neuhold (eds.) , Mícheál Mac an Airchinnigh

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1987
ISBN
3540176543, 9783540176541
DOI
10.1007/3-540-17654-3
Open Library ID
OL9863120M
Language
english
Format
DJVU
Filesize
4 MB (4677812 bytes)
Series
Lecture Notes in Computer Science 252
Edition
1
Pages
422\431
Library
Kolxo3
DPI
300
Time added
2011-07-22 07:35:22
Software Engineering

Similar books