A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors /
A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, 1 Corinthians 8:2) Calling this a ‘practical theory’ may require some explanation. Theory and practice are often thought of as two di?erent worlds, governed bydi?erentideals,pr...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2005.
|
| Series: | Texts in Theoretical Computer Science An EATCS Series.
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
3rd Floor Main Library
| Call Number: |
A1234.567 |
|---|---|
| Copy 1 | Available |