Home > A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
Book Informaton
Author
R. Kurki-Suonio
Series
Texts in Theoretical Computer Science. An EATCS Series
Year of Publication
2005
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
XXI, 420
Language
en
ISBN
9783540233428, 9783540273486, 3540233423
ARI Id
1664582611368
Find on
This page has been accessed 7 times.
Access Options
Citation Options
Download Citation| Chapters/Headings | Author(s) | Pages | Info |
| Loading... | |||
| Chapters/Headings | Author(s) | Pages | Info |