TY  - BOOK
AU  - Leucker,Martin
AU  - Rueda,Camilo
AU  - Valencia,Frank D.
ED  - SpringerLink (Online service)
TI  - Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings 
T2  - Theoretical Computer Science and General Issues
SN  - 9783319251509
AV  - QA76.9.L63 
PY  - 2015///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Logic design
KW  - Computer science
KW  - Computational complexity
KW  - Software engineering
KW  - Logics and Meanings of Programs
KW  - Programming Languages, Compilers, Interpreters
KW  - Discrete Mathematics in Computer Science
KW  - Software Engineering
KW  - Mathematical Logic and Formal Languages
N2  - 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
UR  - https://doi.org/10.1007/978-3-319-25150-9
ER  -