Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings - Lecture Notes in Computer Science - Krishnendu Chatterjee - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642152962 - August 30, 2010
In case cover and title do not match, the title is correct

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings - Lecture Notes in Computer Science

Krishnendu Chatterjee

Login to be notified when the product is available again

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings - Lecture Notes in Computer Science

This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8-10, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria.

267 pages, 55 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 30, 2010
ISBN13 9783642152962
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 257
Dimensions 155 × 231 × 15 mm   ·   408 g
Language French  
Editor Chatterjee, Krishnendu
Editor Henzinger, Thomas A.
Show all

More by Krishnendu Chatterjee

See all of Krishnendu Chatterjee ( e.g. Paperback Book )