Format:
XVII, 579 S.
ISBN:
3540525130
,
0387525130
Series Statement:
Lecture notes in computer science 428
Language:
English
Subjects:
Computer Science
Keywords:
VDM
;
Z
;
VDM
;
Softwareentwicklung
;
Formale Sprache
;
Konferenzschrift
Author information:
Bjørner, Dines 1937-