VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

Proceedings

von: Dines Bjørner · C.A.R. Hoare · Hans Langmaack

Taschenbuch

ISBN-13: 978-3-662-18631-2

ISBN-10: 3-662-18631-4

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