zum Haupt-Inhalt
zur Seitenleiste (falls vorhanden)
zum Footer mit externen Links
Toggle navigation
h_da BIBLIOTHEK
Alte Merkliste umziehen/exportieren
Mein Ausleihkonto
Log out
Ausleihkonto/Login
DE/EN
English
Deutsch
Achtung! JavaScript ist in Ihrem Browser deaktiviert. Deshalb ist die Seite ist nur Eingeschränkt nutzbar.
Lokaler Bestand
(1)
/EDS/Search?lookfor=Learning+scientific+programming+with+Python&type=AllFields&view=
Artikel und mehr
alle Felder
alle Felder
Titel
Verfasser
Schlagwort
Suchen
Erweiterte Suche
Suchhistorie
zurück zum Suchergebnis
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
Intern
Zusatz-Funktionen
Zitieren
Als E-Mail versenden
Datensatz exportieren
Exportieren nach EndNote
Exportieren nach BibTeX
Zur Merkliste hinzufügen
×
Wird geladen...
