Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Dienstag, 21. November, öffnet die Deutsche Nationalbibliothek in Frankfurt am Main wegen einer Personalversammlung erst ab 13 Uhr für die Benutzung.
 
Neuigkeiten Die Deutsche Nationalbibliothek in Leipzig ist am 22. November (Buß- und Bettag) geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind ebenfalls geschlossen.
 
Neuigkeiten Am Dienstag, 28. November, öffnet die Deutsche Nationalbibliothek in Leipzig wegen einer Personalversammlung erst ab 13 Uhr für die Benutzung. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet.
 
 

Ergebnis der Suche nach: idn=989452999



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz http://d-nb.info/989452999
Titel The theory and practice of runtime reflection : a model-based framework for dynamic analysis of distributed reactive systems / Andreas Bauer
Person(en) Bauer, Andreas
Verlag Saarbrücken : VDM Verlag Dr. Müller
Zeitliche Einordnung Erscheinungsdatum: 2008
Umfang/Format X, 204 S. : Ill., graph. Darst. ; 22 cm
Hochschulschrift Zugl.: München, Techn. Univ., Diss., 2007 u.d.T.: Bauer, Andreas Klaus: Model-based runtime analysis of distributed reactive systems
ISBN/Einband/Preis 978-3-8364-7441-2 kart.
Sprache(n) Englisch (eng)
Anmerkungen Hergestellt on demand
Schlagwörter Reaktives System ; Verteiltes System ; Fehlererkennung ; Temporale Logik ; Formale Spezifikationstechnik ; Verifikation
DDC-Notation 006.337 [DDC22ger]; 004.24 [DDC22ger]
Sachgruppe(n) 004 Informatik ; 620 Ingenieurwissenschaften und Maschinenbau
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 2009 A 44503
Bereitstellung in Frankfurt
Leipzig Signatur: 2009 A 59665
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <


E-Mail-IconAdministration