Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings - Theoretical Computer Science and General Issues - Franck Cassez - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540857778 - 5 de septiembre de 2008
En caso de que portada y título no coincidan, el título será el correcto

Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings - Theoretical Computer Science and General Issues 2008 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 30 de jun. - 13 de jul.
Añadir a tu lista de deseos de iMusic

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The papers are organized in topical sections on extensions of timed automata and semantics;


295 pages, 1, black & white illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 5 de septiembre de 2008
ISBN13 9783540857778
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 295
Dimensiones 155 × 235 × 16 mm   ·   453 g
Lengua Francés  
Editor Cassez, Franck
Editor Jard, Claude

Mas por Franck Cassez

Mostrar todo

Mere med samme udgiver