{"product_id":"practical-aspects-of-declarative-languages-7th-international-symposium-padl-2005-long-beach-ca-usa-january-10-11-2005-proceedings-von-daniel-cabeza-manuel-hermenegildo-hrsg","title":"Practical Aspects of Declarative Languages","description":"\u003cp\u003eclaritywas¿AProvablyCorrectCompilerforE?cientModelCheckingofMobile Processes,¿byPingYang,YifeiDong,C.R.Ramakrishnan,andScottA.Smolka.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540243625\"\u003e\u003ch3\u003e7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540243625","offer_id":39423189909597,"sku":"9783540243625","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/ab37a659-7346-473a-9aa1-a90cb0bc1b4f.jpg?v=1773554811","url":"https:\/\/shop.autorenwelt.de\/products\/practical-aspects-of-declarative-languages-7th-international-symposium-padl-2005-long-beach-ca-usa-january-10-11-2005-proceedings-von-daniel-cabeza-manuel-hermenegildo-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}