Conte aos seus amigos sobre este item:
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings - Programming and Software Engineering 2014 edition
Franck Cassez
Preço
¥ 8.292
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 23 - 29 de set
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings - Programming and Software Engineering 2014 edition
Franck Cassez
This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions.
430 pages, 109 black & white illustrations, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 29 de setembro de 2014 |
| ISBN13 | 9783319119359 |
| Editoras | Springer International Publishing AG |
| Páginas | 430 |
| Dimensões | 155 × 235 × 23 mm · 635 g |
| Idioma | French |
| Editor | Cassez, Franck |
| Editor | Raskin, Jean-Francois |
![Cover for Franck Cassez · 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 (Paperback Book) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/778/9783540857778.jpg?franck-cassez-2008-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-paperback-book&class=scaled&v=1445690766)