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?eren...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Kurki-Suonio, R. (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2005.
|
Edición: | 1st ed. 2005. |
Colección: | Texts in Theoretical Computer Science. An EATCS Series,
|
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Concurrency Theory Calculi an Automata for Modelling Untimed and Timed Concurrent Systems /
por: Bowman, Howard, et al.
Publicado: (2006) -
Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers /
Publicado: (2014) -
Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
Publicado: (2015) -
Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings /
Publicado: (2014) -
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /
Publicado: (2015)