Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers ... Computer Science and General Issues)

by Béatrice Bouchou - Markhoff (Editor), PascalCaron (Editor), Denis Maurel (Editor), Jean-MarcChamparnaud (Editor)

• New

  Paperback
  2011

  $63.49

  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;