Format:
1 Online-Ressource (XVII, 579 S.)
ISBN:
3540525130
,
0387525130
Series Statement:
Lecture notes in computer science 428
Language:
English
Subjects:
Computer Science
Keywords:
VDM
;
Z
;
Softwareentwicklung
;
Formale Sprache
;
Konferenzschrift
DOI:
10.1007/3-540-52513-0
Author information:
Bjørner, Dines 1937-