Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: idn=998335762



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/998335762
Art des Inhalts Hochschulschrift
Titel Symbolic shape analysis / von Thomas Wies
Person(en) Wies, Thomas (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 2009
Umfang/Format Online-Ressource, ca. 1,0 MB
Hochschulschrift Freiburg (Breisgau), Univ., Diss., 2009
Persistent Identifier URN: urn:nbn:de:bsz:25-opus-69727
URL http://www.freidok.uni-freiburg.de/volltexte/6972/pdf/main.pdf (Verlag) (kostenfrei zugänglich)
http://www.freidok.uni-freiburg.de/volltexte/6972/ (Verlag)
Sprache(n) Englisch (eng)
Schlagwörter Programmanalyse ; Verifikation
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration