Andere Kunden interessierten sich auch für
![Algorithms - ESA 2015]( "Algorithms - ESA 2015")
Algorithms - ESA 201575,99 €![Unifying Theories of Programming]( "Unifying Theories of Programming")
Unifying Theories of Programming37,99 €![Category Theory and Computer Science]( "Category Theory and Computer Science")
Category Theory and Computer Science39,99 €![Theoretical Aspects of Computing ¿ ICTAC 2016]( "Theoretical Aspects of Computing ¿ ICTAC 2016")
Theoretical Aspects of Computing ¿ ICTAC 201637,99 €![Formal Aspects of Component Software]( "Formal Aspects of Component Software")
Formal Aspects of Component Software37,99 €![Category Theory and Computer Science]( "Category Theory and Computer Science")
Category Theory and Computer Science40,99 €![Developments in Language Theory]( "Developments in Language Theory")
Developments in Language Theory37,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.