MENÜ MENÜ  

cover

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

43.50 €
in stock