Kurki-Suonio, Reino: A practical theory of reactive systems
: incremental modeling of dynamic behaviors / R. Kurki-Suonio. - Berlin : Springer, 2005. - 418 S. : graph. Darst.; 24 cm - (Texts in theoretical computer science)
ISBN 978-3-540-23342-8 / 3-540-23342-3 Pp. : EUR 53.45 (freier Pr.), sfr 88.50 (freier Pr.)
Literaturverz. S. 397 - 408
Quelle: DNB Verlagsmeldungen
Mester, Arnulf: Rechnergestützte Konstruktion verteilter Anwendungen mit Spezifikationsmustern
/ Arnulf Mester. - Münster : Krehl, 2002. - VII, 167 S. : graph. Darst.; 22 cm
ISBN 978-3-8311-3880-7 / 3-8311-3880-X kart. : EUR 45.00 (freier Pr.)
Hergestellt on demand
Quelle: DNB