MENÜ MENÜ  

cover

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 €
auf Lager
Versandkostenfrei innerhalb Deutschlands


Wollen auch Sie Ihre Dissertation veröffentlichen?