zum Haupt-Inhalt
zur Seitenleiste (falls vorhanden)
zum Footer mit externen Links
Toggle navigation
Hilfe
UB home
Ihr Konto
Logout
Login
DE/EN
English
Deutsch
Achtung! JavaScript ist in Ihrem Browser deaktiviert. Deshalb ist die Seite ist nur Eingeschränkt nutzbar.
Suchportal Frankfurt am Main
Universitätsbibliothek
UB
Bücher & mehr
(1)
/EDS/Advanced?type=AllFields&view=
Artikel & mehr
Deaktiviert
Deutsch
English
اللغة العربية
עברית
Alle Felder
Alle Felder
Titel
Verfasser
Schlagwort
Suchen
Erweiterte Suche
Suchhistorie
Formale Verifikation der Korre...
Bestand
Treffer:
Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen
Gespeichert in:
Titel:
Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen
/ Holger Grandy
Verantwortlich:
Grandy, Holger
Veröffentlicht:
Augsburg : Universität Augsburg, 2008
Umfang:
Online-Ressource
Publikationstyp:
E-Book
Sprache:
Deutsch
Zusatz-Informationen
Bestand
Mehr Informationen
Inhaltsangabe
Zusatz-Funktionen
Zitieren
Als E-Mail versenden
Datensatz exportieren
Exportieren nach EndNote
Exportieren nach BibTeX
Merkliste
Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen / Grandy, Holger
HEB36679082X
×
Wird geladen...
