Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die 1,9 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
Neuigkeiten Die Lesesäle der Deutschen Nationalbibliothek sind für den Benutzungsbetrieb geöffnet. Für den Zutritt am Standort Frankfurt am Main ist eine Reservierungsbestätigung 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.
 
Neuigkeiten Das Ad-hoc-Bereitstellungssystem steht am 24. und 25. Mai in Frankfurt und Leipzig nicht zur Verfügung. In dieser Zeit ist die Nutzung von bestellten elektronischen Publikationen nicht möglich.
 
 

Ergebnis der Suche nach: idn=1123460442



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://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