{"product_id":"9783319251493","title":"Lecture Notes in Computer Science: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings\u003c\/h1\u003e \u003ch2\u003eLeucker, Martin; Rueda, Camilo; Valencia, Frank D.\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\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 \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2015-12-25\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783319251493\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-319-25150-9\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 620\u003c\/p\u003e ","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":45377314259084,"sku":"9783319251493","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783319251493.jpg?v=1774013445","url":"https:\/\/lateknightbooks.com\/products\/9783319251493","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}