Umfang:
XI, 540 S. : graph. Darst. : 24 cm.
ISBN:
3-540-21377-5
Serie:
Lecture notes in computer science 2999
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Systementwicklung
;
Formale Methode
;
Model Checking
;
Formale Methode
;
Systementwicklung
;
Formale Spezifikationstechnik
;
Verifikation
;
Formale Methode
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
;
Konferenzschrift
URL:
http://www.loc.gov/catdir/toc/fy0606/2004102974.html
URL:
http://www.loc.gov/catdir/enhancements/fy0818/2004102974-d.html