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.

Noch nicht die passende Literatur gefunden? → Book a Librarian

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

Ergebnis der Suche nach: idn=1027824935

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/1027824935
Art des Inhalts	Hochschulschrift
Titel	Verhaltensgarantien in selbst-organisierenden Systemen / Florian Nafz
Person(en)	Nafz, Florian (Verfasser)
Verlag	Berlin : Logos-Verl.
Zeitliche Einordnung	Erscheinungsdatum: 2012
Umfang/Format	XX, 258 S. : graph. Darst. ; 24 cm
Hochschulschrift	Zugl.: Augsburg, Univ., Diss., 2012
ISBN/Einband/Preis	978-3-8325-3246-8 kart. : EUR 42.00 (DE), EUR 43.20 (AT), sfr 55.90 (freier Pr.) 3-8325-3246-3
EAN	9783832532468
Sprache(n)	Deutsch (ger)
Schlagwörter	Sicherheitskritisches System ; Selbst organisierendes System ; Organic Computing ; Spezifikationstechnik ; Verifikation ; Formale Methode ; Rekonfiguration ; Constraint-Erfüllung
DDC-Notation	004.2 [DDC22ger]; 005.12 [DDC22ger]; 006.3 [DDC22ger]
Sachgruppe(n)	004 Informatik
Weiterführende Informationen	Inhaltsverzeichnis Inhaltstext

Frankfurt	Signatur: 2013 A 9265 Bereitstellung in Frankfurt
Leipzig	Signatur: 2013 A 6253 Bereitstellung in Leipzig

Treffer 1 von 1

Aktionen

MARC21-XML-Repräsentation dieses Datensatzes

Korrekturanfrage

buchhandel.de

Administration