Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=984272798
Link zu diesem Datensatz | https://d-nb.info/984272798 |
Art des Inhalts | Hochschulschrift |
Titel | A formal framework for modelling component extension and layers in distributed embedded systems / Stefan Förster |
Person(en) | Förster, Stefan (Verfasser) |
Verlag | Dresden : TUDpress |
Zeitliche Einordnung | Erscheinungsdatum: 2007 |
Umfang/Format | VI, 223 S. : graph. Darst. ; 21 cm |
Hochschulschrift | Zugl.: Chemnitz, Techn. Univ., Diss., 2006 |
ISBN/Einband/Preis |
978-3-940046-22-2 kart. : EUR 34.80 3-940046-22-1 kart. : EUR 34.80 |
EAN | 9783940046222 |
Sprache(n) | Englisch (eng) |
Beziehungen | Wissenschaftliche Schriftenreihe Eingebettete, selbstorganisierende Systeme ; Bd. 3 |
Schlagwörter | Eingebettetes System ; CASHE ; Teilsystem ; Framework <Informatik> ; Formale Spezifikationstechnik ; Pi-Kalkül |
DDC-Notation | 004.21 [DDC22ger] |
Sachgruppe(n) | 004 Informatik |
Weiterführende Informationen | Inhaltstext |
Frankfurt |
Signatur: 2007 A 42560
Bereitstellung in Frankfurt |
Leipzig |
Signatur: 2007 A 53185
Bereitstellung in Leipzig |