Image from Amazon.com
Formal modeling and analysis of timed systems [electronic resource] : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / edited by Joel Ouaknine, Frits W. Vaandrager.
Series: Lecture notes in computer science ; 5813Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.Description: x, 290 p. : ill., digital ; 24 cmISBN:- 9783642043680 (electronic bk.)
- 9783642043673 (paper)
- Computer simulation -- Congresses
- Temporal automata -- Congresses
- Formal methods (Computer science) -- Congresses
- Robots -- Congresses
- Models and Principles
- Computer Science
- Software Engineering
- Programming Languages, Compilers, Interpreters
- Symbolic and Algebraic Manipulation
- Logics and Meanings of Programs
- Theory of Computation
- 003.3 22
- QA76.9.C65 F676 2009
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.