The Leading eBooks Store Online 4,410,490 members ⚫ 1,532,108 ebooks

New to

Learn more

Theoretical Aspects of Computing - ICTAC 2015

12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

Theoretical Aspects of Computing - ICTAC 2015 by Martin Leucker
Buy this eBook
US$ 89.99
(If any tax is payable it will be calculated and shown at checkout.)

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. The papers cover various topics such asalgebra and category theory; automata and formal languages; concurrency;constraints, logic and semantic; software architecture and component-baseddesign; and verification.

Springer International Publishing; October 2015
628 pages; ISBN 9783319251509
Read online, or download in secure PDF format
Title: Theoretical Aspects of Computing - ICTAC 2015
Author: Martin Leucker; Camilo Rueda; Frank D. Valencia