Format:
1 Online-Ressource (XI, 689 S.)
ISBN:
3540566627
,
0387566627
Series Statement:
Lecture notes in computer science 670
Language:
English
Subjects:
Computer Science
Keywords:
Industrie
;
Softwareentwicklung
;
Formale Spezifikationstechnik
;
Systementwicklung
;
Mathematische Methode
;
Formalisierung
;
Industrie
;
Konferenzschrift