Katalog der Deutschen Nationalbibliothek

Expertensuche ?

24. Dezember 2024 bis 1. Januar 2025: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2025 bereitgestellt. // From 24 December 2024 to 1 January 2025: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2025.

Bitte beachten Sie unsere geänderten Servicezeiten ab dem 1. November 2024.

Ergebnis der Suche nach: idn=1071808311

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/1071808311
Art des Inhalts	Hochschulschrift
Titel	Verknüpfung von formaler Verifikation und modellgetriebener Entwicklung / von Christian Ammann
Person(en)	Ammann, Christian (Verfasser)
Zeitliche Einordnung	Erscheinungsdatum: 2015
Umfang/Format	VIII, 321 S. : graph. Darst. ; 30 cm
Hochschulschrift	Osnabrück, Univ., Diss., 2015
Sprache(n)	Deutsch (ger)
DDC-Notation	005.10285 [DDC22ger]
Sachgruppe(n)	004 Informatik
Weiterführende Informationen	Inhaltsverzeichnis

Frankfurt	Signatur: 2016 B 1546 Bereitstellung in Frankfurt
Leipzig	Signatur: 2015 B 20477 Bereitstellung in Leipzig

Treffer 1 von 1

Aktionen

MARC21-XML-Repräsentation dieses Datensatzes

Korrekturanfrage

Administration