VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings: 252 (Lecture Notes in Computer Science)

VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings: 252 (Lecture Notes in Computer Science)

by Cliff Jones (Author), Dines Bjorner (Author), Cliff Jones (Author), Dines Bjorner (Author), Michael Mac An Airchinnigh (Author), Erich J. Neuhold (Author)

$92.26

Save:$6.84 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 436
Edition: 1987
Publisher: Springer
Published: 11 Mar 1987

ISBN 10: 3540176543
ISBN 13: 9783540176541
Book Overview: Springer Book Archives