Search for persons
X
?
Formal software development methods : VDM '91; 4th international symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21 - 25, 1991; proceedings / S. Prehn ... (ed.)
Vol. 1 ,
13
Conference contributions
, In:Vol. 1
Lecture notes in computer science ; 551
Copies:
Zentrale:Magazin 01.p.0415-1
?
Formal software development methods : VDM '91; 4th international symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21 - 25, 1991; proceedings / S. Prehn ... (ed.)
Vol. 2 ,
14
Tutorials
, In:Vol. 2
Lecture notes in computer science ; 552
Copies:
Zentrale:Magazin 01.p.0415-2
?
15
VDM '91. Formal Software Development Methods. 4th Internati..
Volume 2: Tutorials
Lecture Notes in Computer Science ; 552;SpringerLink, Bücher