Tell your friends about this 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
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | July 5, 2011 |
| ISBN13 | 9783642222559 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 299 |
| Dimensions | 155 × 231 × 23 mm · 453 g |
| Language | French |
| Editor | Bouchou-Markhoff, Beatrice |
| Editor | Caron, Pascal |
| Editor | Champarnaud, Jean-Marc |
| Editor | Maurel, Denis |