Shelfclass_id |
3.A |
Sortkey |
VDM |
Authors |
Editors: Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold |
Title |
VDM 1987: VDM '87: VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings |
Publisher |
Springer-Verlag |
Year |
1987 |
Languages |
eng |
Isbn |
0387176543, 3540176543 |
Series |
Lecture Notes in Computer Science |
Volume |
252 |
Issn |
0302-9743 |
Description |
ix, 422 p. ill. 25 cm |
Record date |
20071029 |
Location |
Berlin |
Keywords |
Computer software industry, Program development (Computers), Conference proceedings, Computer software |
Notes |
Björner, Bjorner |