Andere Kunden interessierten sich auch für
![Algorithms - ESA 2015]( "Algorithms - ESA 2015")
Algorithms - ESA 201575,99 €![Theoretical Aspects of Computing ¿ ICTAC 2016]( "Theoretical Aspects of Computing ¿ ICTAC 2016")
Theoretical Aspects of Computing ¿ ICTAC 201637,99 €![Theoretical Aspects of Computing - ICTAC 2006]( "Theoretical Aspects of Computing - ICTAC 2006")
Theoretical Aspects of Computing - ICTAC 200642,99 €![Theoretical Aspects of Computing ¿ ICTAC 2020]( "Theoretical Aspects of Computing ¿ ICTAC 2020")
Theoretical Aspects of Computing ¿ ICTAC 202037,99 €![Theoretical Aspects of Computing ¿ ICTAC 2017]( "Theoretical Aspects of Computing ¿ ICTAC 2017")
Theoretical Aspects of Computing ¿ ICTAC 201737,99 €![Theoretical Aspects of Computing - ICTAC 2009]( "Theoretical Aspects of Computing - ICTAC 2009")
Theoretical Aspects of Computing - ICTAC 200937,99 €![Theoretical Aspects of Computing - ICTAC 2007]( "Theoretical Aspects of Computing - ICTAC 2007")
Theoretical Aspects of Computing - ICTAC 200742,99 €
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.
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.