Katalog der Deutschen Nationalbibliothek

Neuigkeiten Unsere Lesesäle sind unter den geltenden Hygiene- und Abstandsregelungen für den eingeschränkten Benutzungsbetrieb geöffnet. Für den Zutritt ist eine Reservierungsbestätigung erforderlich. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Achtung: Die Bereitstellungszeit für bestellte Medien beträgt aktuell 5 Tage!
 
Neuigkeiten Ihre Meinung ist gefragt! Wir möchten gerne von Ihnen erfahren, was Ihnen in der Deutschen Nationalbibliothek gut gefällt und was wir noch verbessern können. Teilnehmen können Sie im Zeitraum vom 2. November bis 14. Dezember 2020 über unsere Homepage – einfach auf das Logo klicken!
 
 

Ergebnis der Suche nach: idn=1125563672



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz http://d-nb.info/1125563672
Art des Inhalts Hochschulschrift
Titel Automatic generation of specifications using verification tools = Automatische Spezifikationserzeugung mit Hilfe von Verifikationswerkzeugen / vorgelegt von Dipl.-Inform. Nathan Daniel Wasser
Person(en) Wasser, Nathan Daniel (Verfasser)
Verlag Darmstadt
Zeitliche Einordnung Erscheinungsdatum: 2017
Umfang/Format vii, 122 Seiten : Illustrationen ; 21 cm
Andere Ausgabe(n) Erscheint auch als Online-Ausgabe: Automatic generation of specifications using verification tools
Hochschulschrift Dissertation, Technische Universität Darmstadt, 2016
ISBN/Einband/Preis Broschur
Sprache(n) Englisch (eng)
DDC-Notation 005.12028 [DDC22ger]
Sachgruppe(n) 004 Informatik
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 2017 A 23847
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Frankfurt
Leipzig Signatur: 2017 A 24142
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <


E-Mail-IconAdministration