Format:
XI, 405 S.
,
graph. Darst.
,
235 mm x 155 mm
ISBN:
3540304924
,
9783540304920
Series Statement:
Lecture notes in computer science 3771
Note:
Literaturangaben
Additional Edition:
Erscheint auch als Online-Ausgabe Integrated Formal Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 ISBN 9783540322405
Language:
English
Subjects:
Computer Science
Keywords:
Softwareentwicklung
;
Formale Methode
;
Systementwicklung
;
Formale Methode
;
Formale Methode
;
Spezifikationssprache
;
Verifikation
;
Model Checking
;
Formale Methode
;
Softwareentwicklung
;
Formale Methode
;
Systementwicklung
;
Formale Methode
;
Formale Methode
;
Spezifikationssprache
;
Verifikation
;
Model Checking
;
Formale Methode
;
Konferenzschrift
URL:
http://www.loc.gov/catdir/toc/fy0604/2005935883.html
URL:
http://www.loc.gov/catdir/enhancements/fy0663/2005935883-d.html