A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors

• Κύριος συγγραφέας: Kurki-Suonio, Reino
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005
• Σειρά: Texts in Theoretical Computer Science An EATCS Series
• Θέματα: Software engineering; Logic design; Computer Science; Software Engineering; Logics and Meanings of Programs