Home » Nonfiction » Martin Leucker » Theoretical Aspects of Computing - ICTAC 2015

September 07 , 2010

Theoretical Aspects of Computing - ICTAC 2015

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


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.

Download LIT

Read also

When Valentines Collide (Mills & Boon Cherish)

When it came to revitalizing relationships, Dr. Chante Valentine and Dr. Matthew Valentine knew all the right moves–except when it came to mending their own volatile vows. Since divorce would jeopardize their respective careers, the love gurus reluctantly agreed to a two-week "sex-therapy" retreat. Getting more from the seminar than they bargained…

The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and s 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.

How to download book

Buy this book

You can buy this book now only for $60.89. This is the lowest price for this book.

Buy book

Download book free

If you want to download this book for free, please register, approve your account and get one book for free.


After that you may download book «Theoretical Aspects of Computing - ICTAC 2015»:

Download Mobi:

Download Sony BookReader: