Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

Noch nicht die passende Literatur gefunden? → Book a Librarian

Bitte beachten Sie unsere geänderten Servicezeiten ab dem 1. November 2024.

Mittwoch, 20. November: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen. // The German National Library in Leipzig will be closed.

Ergebnis der Suche nach: idn=989979873

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/989979873
Art des Inhalts	Hochschulschrift
Titel	Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen / Holger Grandy
Person(en)	Grandy, Holger (Verfasser)
Verlag	Berlin : Logos-Verl.
Zeitliche Einordnung	Erscheinungsdatum: 2008
Umfang/Format	XIV, 290 S. : graph. Darst. ; 24 cm
Hochschulschrift	Zugl.: Augsburg, Univ., Diss., 2008
ISBN/Einband/Preis	978-3-8325-1972-8 kart. : EUR 43.50 (DE), EUR 44.70 (AT), sfr 77.40 (freier Pr.)
EAN	9783832519728
Sprache(n)	Deutsch (ger)
Schlagwörter	Java Card ; Sicherheitsprotokoll ; Korrektheit ; Verfeinerung ; Verifikation ; Formale Methode Handy ; Java <Programmiersprache> ; Sicherheitsprotokoll ; Verfeinerung ; Verifikation ; Formale Methode
DDC-Notation	005.8 [DDC22ger]
Sachgruppe(n)	004 Informatik
Weiterführende Informationen	Inhaltsverzeichnis

Frankfurt	Signatur: 2008 A 62648 Bereitstellung in Frankfurt
Leipzig	Signatur: 2008 A 87883 Bereitstellung in Leipzig

Treffer 1 von 1

Korrekturanfrage