ENGLISH

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

By Martin Leucker , Camilo Rueda , Frank D. Valencia (eds.)

Book information

Publisher
Springer International Publishing
Year
2015
ISBN
978-3-319-25149-3, 978-3-319-25150-9
DOI
10.1007/978-3-319-25150-9
Language
english
Format
PDF
Filesize
25 MB (25709842 bytes)
Series
Lecture Notes in Computer Science 9399
Edition
1
Pages
XXIV, 620\628
Time added
2015-11-25 16:51:03
Logics and Meanings of Programs

Description

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 s 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.

Similar books