Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Die Deutsche Nationalbibliothek in Frankfurt bleibt vom 10.03. bis 22.03.2025 wegen Umbauarbeiten geschlossen.
 
 

Ergebnis der Suche nach: idn=1209878453



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1209878453
Titel Data flow in program verification
Person(en) Nutz, Alexander (Verfasser)
Podelski, Andreas (Akademischer Betreuer)
Organisation(en) Albert-Ludwigs-Universität Freiburg. Fakultät für Angewandte Wissenschaften (Grad-verleihende Institution)
Verlag Freiburg : Universität
Zeitliche Einordnung Erscheinungsdatum: 2020
Umfang/Format Online-Ressource (pdf)
Hochschulschrift Dissertation, Universität Freiburg, 2019
Persistent Identifier URN: urn:nbn:de:bsz:25-freidok-1654737
DOI: 10.6094/UNIFR/165473
URL https://freidok.uni-freiburg.de/data/165473 (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Schlagwörter Verifikation ; Programmierung ; Formaler Beweis ; Software
DDC-Notation 005.14 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration