[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

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



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/1153934914
Art des Inhalts Hochschulschrift
Titel Verification of relational programs supported by theorem provers / Insa Stucke
Person(en) Stucke, Insa (Verfasser)
Verlag Kiel
Zeitliche Einordnung Erscheinungsdatum: 2017
Umfang/Format 50 Seiten, 87 verschieden gezählte Seiten ; 30 cm
Hochschulschrift Dissertation, Christian-Albrechts-Universität zu Kiel, 2017
ISBN/Einband/Preis Broschur
Sprache(n) Englisch (eng)
Anmerkungen Enthält Sonderabdrucke
Sachgruppe(n) 004 Informatik
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 2018 B 13480
Bereitstellung in Frankfurt
Leipzig Signatur: 2018 B 6735
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <


E-Mail-IconAdministration