Umfang:
Online-Ressource (XI, 405 S.)
,
graph. Darst
Ausgabe:
Online-Ausg. 2005 Springer eBook Collection. Computer Science Electronic reproduction; Available via World Wide Web
ISBN:
3540304924
Serie:
Lecture notes in computer science 3771
Anmerkung:
Literaturangaben
,
Electronic reproduction; Available via World Wide Web
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Softwareentwicklung
;
Formale Methode
;
Systementwicklung
;
Spezifikationssprache
;
Verifikation
;
Model Checking
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)