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 - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642152962 - 30 de agosto de 2010
En caso de que portada y título no coincidan, el título será el correcto

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

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Krishnendu Chatterjee

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 30 de agosto de 2010
ISBN13 9783642152962
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 257
Dimensiones 155 × 231 × 15 mm   ·   408 g
Lengua Francés  
Editor Chatterjee, Krishnendu
Editor Henzinger, Thomas A.

Mas por Krishnendu Chatterjee

Mostrar todo

Más del mismo editor

Ver todo de Krishnendu Chatterjee ( Ej. Paperback Book )