VDM '90
VDM and Z - formal methods in software development : 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 : proceedings
Gespeichert in:
Verfasser / Beitragende:
D. Bjørner, C.A.R. Hoare, H. Langmaack, (eds.)
Ort, Verlag, Jahr:
Berlin [etc.] :
Springer,
1990
Beschreibung:
XVII, 579 p. : fig ; 25 cm
Format:
Buch (Kongress)