Treffer: A practical theory of reactive systems
Titel:
A practical theory of reactive systems : incremental modeling of dynamic behaviors / R. Kurki-Suonio
Beteiligt:
Veröffentlicht:
Berlin [u.a.] : Springer, 2005
Umfang:
XXI, 418 S. : graph. Darst. ; 24 cm
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Texts in theoretical computer science
Anmerkungen:
Literaturverz. S. 397 - 408
RVK-Notation:
Schlagworte:
ISBN:
3540233423