Bücher online kaufen
Theoretical Aspects of Computing - ICTAC 2015
-0 %
12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Paperback
Print on Demand | Lieferzeit: Print on Demand - Lieferbar innerhalb von 3-5 Werktagen I
Artikel-Nr:
9783319251493
Veröffentl:
2015
Einband:
Paperback
Erscheinungsdatum:
25.12.2015
Seiten:
644
Autor:
Martin Leucker
Gewicht:
961 g
Format:
235x155x35 mm
Serie:
9399, Theoretical Computer Science and General Issues
Sprache:
Englisch
Beschreibung:
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.
Includes supplementary material: sn.pub/extras