Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Theoretical Aspects of Computing - ICTAC 2015

Name: Theoretical Aspects of Computing - ICTAC 2015
Brand: Springer International Publishing AG
SKU: 09524418
Price: 48.29 EUR
Availability: InStock
Author: Martin Leucker
ISBN: 9783319251493

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

Martin Leucker

Camilo Rueda

Frank D. Valencia

Language

English

Book Paperback

Libristo code: 09524418

Publishers Springer International Publishing AG, December 2015

This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical A... Full description

Libristo code: 09524418

118 b

48.29 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Die schönsten Mariengeschichten Karl M Harrer

Paperback

9.80 €

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 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. §