Buy Used and New C . A . R . Hoare Books

VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings: 428 (Lecture Notes in Computer Science)

by Hans Langmaack, Dines Bjorner, C.A.R. Hoare

ISBN 13: 9783540525134

Format: Paperback (608 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later