Fortell venner om denne varen:
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
Legg til iMusic ønskeliste
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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 30. august 2010 |
| ISBN13 | 9783642152962 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 257 |
| Mål | 155 × 231 × 15 mm · 408 g |
| Språk | Fransk |
| Redaktør | Chatterjee, Krishnendu |
| Redaktør | Henzinger, Thomas A. |
