Umfang:
XIX, 426 S.
,
Ill., graph. Darst.
ISBN:
3540201262
Serie:
Lecture notes in computer science 2788
Anmerkung:
Literaturangaben
Weitere Ausg.:
Erscheint auch als Online-Ausgabe Anderson, Stuart Computer Safety, Reliability, and Security Berlin, Heidelberg : Springer Berlin Heidelberg, 2003 ISBN 9783540201267
Sprache:
Englisch
Schlagwort(e):
Softwareentwicklung
;
Zuverlässigkeit
;
Formale Methode
;
Mensch-Maschine-Kommunikation
;
Technische Sicherheit
;
Zuverlässigkeit
;
Systementwicklung
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
Mehr zum Autor:
Anderson, Stuart