{"product_id":"9783319251493","title":"Theoretical Aspects of Computing - ICTAC 2015","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the\n12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015,\nheld in Cali, Colombia, in October 2015.\u003c\/p\u003e\u003cp\u003e\n\nThe 25 revised full papers presented together\nwith 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed\nand selected from 93 submissions. The papers cover various topics such as\nalgebra and category theory; automata and formal languages; concurrency;\nconstraints, logic and semantic; software architecture and component-based\ndesign; and verification.\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePublication Year: \u003c\/strong\u003e2015\u003cbr\u003e\u003cstrong\u003eImprint: \u003c\/strong\u003eSpringer International Publishing\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eFormat: P\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eWeight (Gram): 9591\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003c\/p\u003e","brand":"Martin Leucker","offers":[{"title":"Default Title","offer_id":41241808142514,"sku":"9783319251493","price":1593595.71,"currency_code":"IDR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0502\/5382\/4178\/products\/331925149X.01_SCLZZZZZZZ.jpg?v=1635515384","url":"https:\/\/readabook.store\/en-id\/products\/9783319251493","provider":"READABOOK BY ALKEM","version":"1.0","type":"link"}