Sie sind hier: StartseiteTitel
Titelaufnahme
Titel
Formal methods for safe and secure computers systems / Federal Office for Information Security. Ed.: Hubert Garavel
BeteiligteGaravel, Hubert
KörperschaftDeutschland / Bundesamt für Sicherheit in der Informationstechnik
ErschienenBonn : Federal Office for Information Security, 2013
Umfang
362 S.
SerieBSI study ; 875
URNurn:nbn:de:hbz:5:2-38040 
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