Nicht lieferbar
Sichere Software
Formale Spezifikation und Verifikation vertrauenswürdiger Systeme. Tagung d. Zentralstelle f. Sicherheit in d. Informationstechnik Bonn, 27.-28.11.1989
Mitwirkender: Kersten, Heinrich
Versandkostenfrei!
Nicht lieferbar
