zum Haupt-Inhalt
zur Seitenleiste (falls vorhanden)
zum Footer mit externen Links
KATALOGPORTAL
KARLA
Toggle navigation
Aktuelles aus der UB
Bestellen von Medien
Ihr Konto
Abmelden
Anmelden
DE/EN
English
Deutsch
Achtung! JavaScript ist in Ihrem Browser deaktiviert. Deshalb ist die Seite ist nur Eingeschränkt nutzbar.
Bücher & mehr
(1)
/EDS/Advanced?type=AllFields&view=
Artikel & mehr
/Combined/Advanced?
Alles
(1)
alle Felder
alle Felder
Titel
Verfasser
Schlagwort
Suchen
Erweitert
Suchhistorie
KATALOGPORTAL
KARLA
Data flow in program verificat...
Bestand
Treffer:
Data flow in program verification
Gespeichert in:
Titel:
Data flow in program verification
Beteiligt:
Nutz, Alexander (Verfasser)
;
Podelski, Andreas (Akademischer Betreuer)
Körperschaft:
Albert-Ludwigs-Universität Freiburg. Fakultät für Angewandte Wissenschaften (Grad-verleihende Institution)
Veröffentlicht:
Freiburg : Universität, 2020
Umfang:
Online-Ressource
Format:
E-Book
Sprache:
Englisch
Hochschulschrift:
Dissertation, Universität Freiburg, 2019
Schlagworte:
Verifikation
Programmierung
Formaler Beweis
Software
Suche
DOI:
10.6094/UNIFR/165473
Zusatz-Informationen
Bestand
Beschreibung
Inhaltsangabe
Zusatz-Funktionen
Zitieren
Als E-Mail versenden
Datensatz exportieren
Exportieren nach Citavi/Endnote
Exportieren nach BibTeX
Zur Merkliste hinzufügen
Data flow in program verification / Nutz, Alexander
HEB46513792X
×
Wird geladen...
