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