Normal view
MARC view
Formal Modeling and Analysis of Timed Systems (vol. # 4202) Электронный ресурс 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings edited by Eugene Asarin, Patricia Bouyer.
Material type:
Computer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006ISBN: 9783540450313Subject(s): Computer Science | Logic design | Software engineering | Software engineering | Computer Science | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | Software Engineering | Special Purpose and Application-Based SystemsOnline resources: Click here to access online
In:
Springer e-books
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.