Format:
1 Online-Ressource (371 S.)
ISBN:
3540574999
,
0387574999
Series Statement:
Lecture notes in computer science 755
Language:
English
Subjects:
Computer Science
Keywords:
Softwareentwicklung
;
Formalisierung
;
Algebraische Spezifikation
;
Programmierung
;
Programmierung
;
Formale Spezifikationstechnik
;
Aufsatzsammlung
;
Konferenzschrift
DOI:
10.1007/3-540-57499-9