Titelaufnahme

Titel
Formal methods for safe and secure computers systems / Federal Office for Information Security. Ed.: Hubert Garavel
BeteiligteGaravel, Hubert In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Hubert Garavel
KörperschaftDeutschland / Bundesamt für Sicherheit in der Informationstechnik In Wikipedia suchen nach Deutschland / Bundesamt für Sicherheit in der Informationstechnik
ErschienenBonn : Federal Office for Information Security, 2013
Umfang362 S.
SerieBSI study ; 875
URNurn:nbn:de:hbz:5:2-38040 Persistent Identifier (URN)
Zugriffsbeschränkung
 Das Dokument ist frei verfügbar.
Volltexte
Formal methods for safe and secure computers systems [3.37 mb]
Links
Nachweis
Verfügbarkeit In meiner Bibliothek