Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings: 9399 (Lecture Notes in Computer Science)

by Martin Leucker (Editor), Camilo Rueda (Editor), Martin Leucker (Editor), Frank D. Valencia (Editor)

• New

  Paperback
  2015

  $80.69

  This book constitutes the refereed proceedings of the12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015,held in Cali, Colombia, in October 2015.The 25 revised full papers presented togetherwith 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewedand selected from 93 submissions.