Formal Modeling and Analysis of Timed Systems [electronic resource] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings / edited by Joël Ouaknine, Frits W. Vaandrager.
By: Ouaknine, Joël.
Contributor(s): Vaandrager, Frits W | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 5813.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Description: digital.ISBN: 9783642043680.Subject(s): Computer science | Software engineering | Information theory | Logic design | Algebra -- Data processing | Computer Science | Logics and Meanings of Programs | Theory of Computation | Models and Principles | Symbolic and Algebraic Manipulation | Programming Languages, Compilers, Interpreters | Software EngineeringDDC classification: 005.1015113 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.