{"product_id":"theoretical-aspects-of-computing-ictac-2015-12th-international-colloquium-cali-colombia-october-29-31-2015-proceedings-9783319251493","title":"Theoretical Aspects of Computing - Ictac 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings","description":"\u003cp\u003e • Author(s): Martin Leucker\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Computer Science\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015.\u003c\/p\u003e\u003cp\u003e 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.\u003cbr\u003e\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45284785979543,"sku":"9783319251493","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783319251493.webp?v=1769282222","url":"https:\/\/atlanticbooks.com\/products\/theoretical-aspects-of-computing-ictac-2015-12th-international-colloquium-cali-colombia-october-29-31-2015-proceedings-9783319251493","provider":"Atlantic Books","version":"1.0","type":"link"}