Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

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.

Summary

This book constitutes the refereed proceedings of the
12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015,
held in Cali, Colombia, in October 2015.

The 25 revised full papers presented together
with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed
and selected from 93 submissions. The papers cover various topics such as
algebra and category theory; automata and formal languages; concurrency;
constraints, logic and semantic; software architecture and component-based
design; and verification.

Product details

• Assisted by: Frank D Valencia (Editor), Martin Leucker (Editor), Camil Rueda (Editor), Camilo Rueda (Editor), Frank D. Valencia (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 01.01.2015
• EAN: 9783319251493
• ISBN: 978-3-31-925149-3
• No. of pages: 620
• Dimensions: 155 mm x 241 mm x 35 mm
• Weight: 961 g
• Illustrations: XXIV, 620 p. 142 illus. in color.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT