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

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

Get an email once the item is available
Do you have a profile? Log in
Get notified about new Krishnendu Chatterjee releases

Our customers say:

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

Not rated yet

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.

More by Krishnendu Chatterjee

Show all

More from the same publisher

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