Fortæl dine venner om denne vare:
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
Tilføj til din iMusic ønskeseddel
eller
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
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 30. august 2010 |
| ISBN13 | 9783642152962 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 257 |
| Mål | 155 × 231 × 15 mm · 408 g |
| Sprog | Fransk |
| Klipper/redaktør | Chatterjee, Krishnendu |
| Klipper/redaktør | Henzinger, Thomas A. |
