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=999210521



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/999210521
Art des Inhalts Hochschulschrift
Titel Extending the reach and power of deductive program verification / Vladimir Klebanov
Person(en) Klebanov, Vladimir (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 2009
Umfang/Format Online-Ressource, ca. 1,5 MB
Hochschulschrift Koblenz, Landau (Pfalz), Univ., Diss., 2009
Persistent Identifier URN: urn:nbn:de:hbz:kob7-4770
URL http://kola.opus.hbz-nrw.de/volltexte/2009/477/pdf/book.pdf (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration