von
Formale Spezifikation und Verifikation vertrauenswürdiger Systeme
Preis unbekannt
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Heinrich Kersten
Stimmen zu »Sichere Software«
Details
ISBN: 9783778519837
Verlag: Hüthig Buch Vlg
Erscheinung: 1990