Katalog der Deutschen Nationalbibliothek

Neuigkeiten Unsere Lesesäle sind unter den geltenden Hygiene- und Abstandsregelungen für den eingeschränkten Benutzungsbetrieb geöffnet. Für den Zutritt ist eine Reservierungsbestätigung zwingend notwendig. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Lösen Sie Bestellungen bitte erst nach der erfolgreichen Reservierung aus.
 
 

Ergebnis der Suche nach: idn=1123460442



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/1123460442
Art des Inhalts Hochschulschrift
Titel Static detection of inevitable errors = Statische Erkennung von unvermeidbaren Fehlern
Person(en) Schäf, Martin (Verfasser)
Podelski, Andreas (Akademischer Betreuer)
Verlag Freiburg : Universität
Zeitliche Einordnung Erscheinungsdatum: 2011
Umfang/Format Online-Ressource (pdf)
Hochschulschrift Dissertation, Albert-Ludwigs-Universität Freiburg, 2011
Persistent Identifier URN: urn:nbn:de:bsz:25-opus-82004
URL https://www.freidok.uni-freiburg.de/data/8200 (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Schlagwörter Verifikation ; Programmanalyse ; Fehlererkennung ; Online-Ressource
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration