VDM '90

VDM and Z - formal methods in software development : 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 : proceedings

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)
ID: 224348833