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 - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642222559 - 5 de julho de 2011
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
SFr. 52,99
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 5 - 12 de nov
Adicione à sua lista de desejos do iMusic

Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers - Lecture Notes in Computer Science

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