Conte aos seus amigos sobre este item:
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
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 30 de agosto de 2010 |
| ISBN13 | 9783642152962 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 257 |
| Dimensões | 155 × 231 × 15 mm · 408 g |
| Idioma | French |
| Editor | Chatterjee, Krishnendu |
| Editor | Henzinger, Thomas A. |
Mostrar tudo
Mais por Krishnendu Chatterjee
Ver tudo de Krishnendu Chatterjee ( por exemplo Paperback Book )