Personensuche
X
?
10
VDM '91. Formal Software Development Methods. 4th Internati..
Volume 1: Conference Contributions
Lecture Notes in Computer Science ; 551;SpringerLink, Bücher
?
11
VDM '91. Formal Software Development Methods. 4th Internati..
Volume 2: Tutorials
Lecture Notes in Computer Science ; 552;SpringerLink, Bücher
?
12
VDM '91 formal software development methods
4th International Symposium of VDM Europe, Noordwijkerhout,...
Lecture notes in computer science ; 551
?
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 ,
13
Tutorials
, In:Vol. 2
Lecture notes in computer science ; 552
Exemplar:
Zentrale:Magazin 01.p.0415-2
?
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 ,
14
Conference contributions
, In:Vol. 1
Lecture notes in computer science ; 551
Exemplar:
Zentrale:Magazin 01.p.0415-1
?
15
VDM '91 formal software development methods
4th International Symposium of VDM Europe, Noordwijkerhout,...
Lecture notes in computer science ; 552