Conte aos seus amigos sobre este item:
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 2008 edition
Preço
zł 202,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 4 - 10 de dez
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
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
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 5 de setembro de 2008 |
| ISBN13 | 9783540857778 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 295 |
| Dimensões | 155 × 235 × 16 mm · 453 g |
| Idioma | Francês |
| Editor | Cassez, Franck |
| Editor | Jard, Claude |
![Cover for Franck Cassez · Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings - Programming and Software Engineering (Paperback Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/359/9783319119359.jpg?franck-cassez-2014-automated-technology-for-verification-and-analysis-12th-international-symposium-atva-2014-sydney-australia-november-3-7-2014-proceedings-programming-and-software-engineering-paperback-book&class=scaled&v=1445690766)