, ,

Theoretical Aspects of Computing - ICTAC 2015

12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

Paperback Engels 2015 9783319251493
Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

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.

Specificaties

ISBN13:9783319251493
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Managementboek Top 100

Rubrieken

Populaire producten

    Personen

      Trefwoorden

        Theoretical Aspects of Computing - ICTAC 2015