Katalog der Deutschen Nationalbibliothek

Neuigkeiten Vom 24. Dezember 2018 bis 1. Januar 2019 ist die Deutsche Nationalbibliothek an beiden Standorten geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums der Deutschen Nationalbibliothek in Leipzig sind vom 27. bis 30. Dezember 2018 jeweils von 10 bis 18 Uhr geöffnet. Die Präsentation „Albert Kapr 100“ ist geschlossen.
 
Neuigkeiten The German National Library will be closed from 24 December 2017 to 1 January 2018. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00 on 27 to 30 December 2018. The presentation “Albert Kapr” will be closed.
 
 

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)
Anmerkungen Langzeitarchivierung gewährleistet
Schlagwörter Verifikation ; Programmanalyse ; Fehlererkennung ; Online-Ressource
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration