Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 5 de julio de 2011 |
| ISBN13 | 9783642222559 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 299 |
| Dimensiones | 155 × 231 × 23 mm · 453 g |
| Lengua | Francés |
| Editor | Bouchou-Markhoff, Beatrice |
| Editor | Caron, Pascal |
| Editor | Champarnaud, Jean-Marc |
| Editor | Maurel, Denis |