VDM 1988: VDM '88: VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings

Shelfclass_id 3.A
Sortkey VDM
Authors Editors: Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones
Title VDM 1988: VDM '88: VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings
Publisher Springer-Verlag
Year 1988
Languages eng
Isbn 0387502149, 3540502149
Series Lecture Notes in Computer Science
Volume 328
Issn 0302-9743
Description ix, 499 p. ill. 25 cm
Record date 20071029
Location New York
Keywords Program development (Computers), Conference proceedings