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), Erich J. Neuhold (Author), Michael Mac An Airchinnigh (Author), Dines Bjorner (Author), Cliff Jones (Author)

New
Paperback
1987
$91.63

$91.63

Save:$6.80 (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

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)

New

$91.63

$91.63

More Information