Architecting Systems with Trustworthy Components Ralf H. Reussner
Titel: Architecting Systems with Trustworthy Components, Untertitel: International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, Einband: Taschenbuch, Autor: Ralf H. Reussner, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 316, Maße: 235x155x18 mm, Gewicht: 482 g, Verkäufer: buch-mimpf, Schlagworte: Architektur (EDV) Rechnerarchitektur EDV / Theorie / Software-Entw. / Software Engineering Component-Based Software Engineering Embedded Systems Exception Isabelle/HOL Semantics component interaction component management component models distributed computing distributed systems formal methods metamodelling modeling performance analysis systems testin.
Jetzt bei Ebay:
