zum Haupt-Inhalt
zur Seitenleiste (falls vorhanden)
zum Footer mit externen Links
Toggle navigation
Anleitung zum Exportieren der "alten" Merkliste
Bibliothekskonto
Log out
Bibliothekskonto
DE/EN
Language code
English
Deutsch
Achtung! JavaScript ist in Ihrem Browser deaktiviert. Deshalb ist die Seite ist nur Eingeschränkt nutzbar.
Bücher & mehr
(1)
/ulbda/EDS/Advanced?view=
Aufsätze & mehr
alle Felder
alle Felder
Titel
Verfasser
Schlagwort
Suchen
Erweiterte Suche
Suchhistorie
Umfassende
Service-Einschränkungen
im Bereich Ausleihe ab 17. März!
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
Beteiligt:
Grandy, Holger
Veröffentlicht:
Augsburg : Universität Augsburg, 2008
Umfang:
Online-Ressource
Format:
E-Book
Sprache:
Deutsch
Zusatz-Informationen
Bestand
Beschreibung
Inhaltsangabe
Internformat
Zusatz-Funktionen
Zitieren
Als E-Mail versenden
Datensatz exportieren
Exportieren nach EndNote
Exportieren nach BibTeX
Zu den Favoriten
Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen / Grandy, Holger
HEB36679082X
×
Wird geladen...
