Custom cover image
Sichere Software : formale Spezifikation und Verifikation vertrauenswürdiger Systeme; Tagung der Zentralstelle für Sicherheit in der Informationstechnik, Bonn, 27. - 28.11.1989 / Heinrich Kersten (Hrsg.)
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: German, English Publisher: Heidelberg : Hüthig, 1990Description: 315 S. : graph. DarstISBN:- 3778519832
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 90 A 3214 | Available | 46130090090 |
Total holds: 0