
Conte aos seus amigos sobre este item:
Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers - Lecture Notes in Computer Science
Beatrice Bouchou-markhoff
Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers - Lecture Notes in Computer Science
Beatrice Bouchou-markhoff
This book constitutes the thoroughly refereed papers of the 16th International Conference on Implementation and Application of Automata, CIAA 2011, held in Blois, France, in July 2011. The papers cover various topics such as applications of automata in computer-aided verification;
299 pages, 27 black & white illustrations, 18 colour illustrations, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 5 de julho de 2011 |
ISBN13 | 9783642222559 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 299 |
Dimensões | 155 × 231 × 23 mm · 453 g |
Idioma | French |
Editor | Bouchou-Markhoff, Beatrice |
Editor | Caron, Pascal |
Editor | Champarnaud, Jean-Marc |
Editor | Maurel, Denis |
Ver tudo de Beatrice Bouchou-markhoff ( por exemplo Paperback Book )