MENÜ
Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen
Holger Grandy
ISBN 978-3-8325-1972-8
307 Seiten, Erscheinungsjahr: 2008
Preis: 43.50 €
Keywords:
- Formale Methoden
- Sicherheit
- Kryptographische Protokolle
- Verifikation
- Java
Kaufoptionen
| 43.50 € | ||
| Versandkostenfrei innerhalb Deutschlands | ||
Wollen auch Sie Ihre Dissertation veröffentlichen?
Logos Verlag Berlin GmbH, Georg-Knorr-Str. 4, Geb. 10, D-12681 Berlin, Tel.: +49 (0)30 4285 1090, FAX: +49 (0)30 4285 1092 Datenschutz