A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors /

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors /

Εμφάνιση άλλων εκδόσεων (1)

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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Kurki-Suonio, Reino (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Σειρά:	Texts in Theoretical Computer Science An EATCS Series
Θέματα:	Computer science. Software engineering. Computers. Computer logic. Computer Science. Theory of Computation. Logics and Meanings of Programs. Software Engineering.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
ανά: Kurki-Suonio, Reino
Έκδοση: (2005)

Model-Based Testing of Reactive Systems Advanced Lectures /
Έκδοση: (2005)

Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems /
ανά: Bowman, Howard, κ.ά.
Έκδοση: (2006)

A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components /
ανά: Caromel, Denis, κ.ά.
Έκδοση: (2005)

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings /
Έκδοση: (2014)

Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings /
Έκδοση: (2015)

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings /
Έκδοση: (2016)

Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings /
Έκδοση: (2011)

Finite Model Theory and Its Applications
ανά: Grädel, Erich, κ.ά.
Έκδοση: (2007)

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings /
Έκδοση: (2005)

Applications and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings /
Έκδοση: (2011)

Transactions on Petri Nets and Other Models of Concurrency XI
Έκδοση: (2016)

Transactions on Petri Nets and Other Models of Concurrency X
Έκδοση: (2015)

Transactions on Petri Nets and Other Models of Concurrency VIII
Έκδοση: (2013)

Transactions on Petri Nets and Other Models of Concurrency IX
Έκδοση: (2014)

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /
Έκδοση: (2007)

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings /
Έκδοση: (2010)

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
Έκδοση: (2007)

Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings /
Έκδοση: (2012)

Variations on Constants Flow Analysis of Sequential and Parallel Programs /
ανά: Müller-Olm, Markus
Έκδοση: (2006)

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /
Έκδοση: (2008)

Software Engineering 2 Specification of Systems and Languages /
ανά: Bjørner, Dines
Έκδοση: (2006)

Unfoldings A Partial-Order Approach to Model Checking /
ανά: Esparza, Javier, κ.ά.
Έκδοση: (2008)

Validation of Evolving Software
Έκδοση: (2015)

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
Έκδοση: (2013)

Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings /
Έκδοση: (2014)

Theory and Practice of Model Transformations 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings /
Έκδοση: (2011)

Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings /
Έκδοση: (2010)

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings /
Έκδοση: (2005)

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings /
Έκδοση: (2007)

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers /
Έκδοση: (2014)

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings /
Έκδοση: (2009)

Abstract State Machines 2004. Advances in Theory and Practice 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /
Έκδοση: (2004)

Specification of Software Systems
ανά: Alagar, V.S, κ.ά.
Έκδοση: (2011)

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings /
Έκδοση: (2006)

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers /
Έκδοση: (2005)

Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings /
Έκδοση: (2006)

Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /
Έκδοση: (2007)

Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers /
Έκδοση: (2007)

Transactions on Petri Nets and Other Models of Concurrency VII
Έκδοση: (2013)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών