Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: idn=999210521



Treffer 1 von 1 < < > <



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


E-Mail-IconAdministration