Format:
XVI, 604 S.
,
graph. Darst.
,
24 cm
ISBN:
3540008985
Series Statement:
Lecture notes in computer science 2619
Note:
Literaturangaben
Additional Edition:
Erscheint auch als Online-Ausgabe Garavel, Hubert Tools and Algorithms for the Construction and Analysis of Systems Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2003 ISBN 9783540365778
Additional Edition:
ISBN 3540008985
Language:
English
Subjects:
Computer Science
Keywords:
Systementwicklung
;
Softwareentwicklung
;
Model Checking
;
Automatisches Beweisverfahren
;
Systementwicklung
;
Softwareentwicklung
;
Model Checking
;
Automatisches Beweisverfahren
;
Konferenzschrift
