Buy Used and New Cliff Jones Books

Results for Cliff Jones

Showing 1 to 3 of 3 results
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,Dines Bjorner,Erich J. Neuhold,Michael Mac An Airchinnigh

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,Dines Bjorner,Erich J. Neuhold,Michael Mac An Airchinnigh


ISBN 13: 9783540176541

Format: Paperback (436 pages)
Publisher: Springer
Published: 11 Mar 1987

Save for later

 
New : $91.55  
New : $91.55