Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Holger Grandy
Themen in »Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen«
Formale Methoden Java Kryptographische Protokolle Sicherheit Verifikation
Stimmen zu »Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen«
Details
ISBN: 9783832519728
Verlag: Logos Berlin
Erscheinung: 31.07.2008