Kurki-Suonio, Reino.
A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors / [electronic resource] : by Reino Kurki-Suonio. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Texts in Theoretical Computer Science An EATCS Series . - Texts in Theoretical Computer Science An EATCS Series .
9783540273486
10.1007/b138956 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors / [electronic resource] : by Reino Kurki-Suonio. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Texts in Theoretical Computer Science An EATCS Series . - Texts in Theoretical Computer Science An EATCS Series .
9783540273486
10.1007/b138956 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
QA76.9.L63 QA76.5913 QA76.63
005.1015113