{"product_id":"coalgebraic-methods-in-computer-science-11th-international-workshop-cmcs-2012-colocated-with-etaps-2012-tallinn-estonia-march-31-april-1-2012-revised-selected-papers-von-dirk-pattinson-lutz-schroder-hrsg","title":"Coalgebraic Methods in Computer Science","description":"This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March\/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783642327834\"\u003e\u003ch3\u003e11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783642327834","offer_id":39443620757597,"sku":"9783642327834","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/1fde2a8a-2282-48f6-8805-82fb14170a31.jpg?v=1773554305","url":"https:\/\/shop.autorenwelt.de\/products\/coalgebraic-methods-in-computer-science-11th-international-workshop-cmcs-2012-colocated-with-etaps-2012-tallinn-estonia-march-31-april-1-2012-revised-selected-papers-von-dirk-pattinson-lutz-schroder-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}