VDM '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 (428), Band 428)

Development

von: Hans Langmaack · Dines Bjorner · C.A.R. Hoare

Taschenbuch

EAN=ISBN-13: 978-3-540-52513-4

ISBN-10: 3-540-52513-0

Springer · 2008
Siehe auch:
2014PaperbackVDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings