Umfang:
X, 361 S.
,
graph. Darst.
ISBN:
9783540709510
,
3540709517
Serie:
Lecture notes in computer science 4346
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Softwareentwicklung
;
Zuverlässigkeit
;
Fehlertoleranz
;
Formale Methode
;
Programmverifikation
;
Softwarespezifikation
;
Formale Methode
;
Zuverlässigkeit
;
Sicherheitskritisches System
;
Eingebettetes System
;
Softwareentwicklung
;
Zuverlässigkeit
;
Konferenzschrift
Mehr zum Autor:
Brim, Luboš 1952-