Sichere Software: formale Spezifikation und Verifikation vertrauenswürdiger Systeme ; Tagung der Zentralstelle für Sicherheit in der Informationstechnik, Bonn, 27. - 28.11.1989
Heidelberg: Hüthig, 1990
Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
- 315 S. : Ill., graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Sichere Software: formale Spezifikation und Verifikation vertrauenswürdiger Systeme ; Tagung der Zentralstelle für Sicherheit in der Informationstechnik, Bonn, 27. - 28.11.1989
|
---|---|
Verantwortlichkeitsangabe: | Heinrich Kersten (Hrsg.) |
Autor/in / Beteiligte Person: | Kersten, Heinrich (1949-) |
Körperschaft: | Zentralstelle für Sicherheit in der Informationstechnik, Bonn |
Link: | |
Veröffentlichung: | Heidelberg: Hüthig, 1990 |
Medientyp: | Konferenzschrift, Aufsatzsammlung, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | 315 S. : Ill., graph. Darst. |
ISBN: | 3778519832 kart. : DM 68.00 |
Schlagwort: |
|
Sonstiges: |
|