MENÜ
Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen
Holger Grandy
ISBN 978-3-8325-1972-8
307 pages, year of publication: 2008
price: 43.50 €
Keywords:
- Formale Methoden
- Sicherheit
- Kryptographische Protokolle
- Verifikation
- Java
BUYING OPTIONS