Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings - Lecture Notes in Computer Science - Eugene Asarin - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540450269 - 19 de septiembre de 2006
En caso de que portada y título no coincidan, el título será el correcto

Eugene Asarin
Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings - Lecture Notes in Computer Science 2006 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

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

Coverage includes work on foundations and semantics of timed systems including timed automata, timed Petri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models.

372 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 19 de septiembre de 2006
ISBN13 9783540450269
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 372
Dimensiones 155 × 235 × 20 mm   ·   571 g
Lengua Alemán  
Editor Asarin, Eugene
Editor Bouyer, Patricia

Mere med samme udgiver

Ver todo de Eugene Asarin ( Ej. Paperback Book )