Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings - Theoretical Computer Science and General Issues 7595 (Paperback)Marcin Jurdzinski (editor), Dejan Nickovic (editor)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 267
Weight: 433 g
Dimensions: 235 x 155 x 14 mm
Edition: 2012 ed.
You may also be interested in...
Please sign in to write a review