Katalog der Deutschen Nationalbibliothek

Neuigkeiten 13. bis 20. Januar 2020: Die Ausstellungen des Deutschen Buch- und Schriftmuseums der Deutschen Nationalbibliothek in Leipzig sind wegen Wartungsarbeiten geschlossen. // Due to maintenance work the exhibitions of the German Museum of Books and Writing of the German National Library in Leipzig will be closed from 13 to 20 January.
 
 

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