{"product_id":"logic-based-program-synthesis-and-transformation-springer-international-publishing-ag-9783319631387-26th-international-symposium-lopstr-2016-edinburgh-uk-september-6-8-2016-revised-selected-papers-manuel-v-hermenegildo","title":"Logic-Based Program Synthesis and Transformation","description":"\u003cp\u003e\u003cstrong\u003eLogic-Based Program Synthesis and Transformation\u003c\/strong\u003e by Manuel V Hermenegildo, Pedro Lopez-Garcia.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2017), Paperback, 361 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Computer science, Computer programming, Software engineering, Programming languages (electronic computers).\u003c\/p\u003e","brand":"Manuel V Hermenegildo","offers":[{"title":"Default Title","offer_id":52236360941910,"sku":"9783319631387","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319631387.jpg?v=1767757043","url":"https:\/\/www.englishbook.fi\/products\/logic-based-program-synthesis-and-transformation-springer-international-publishing-ag-9783319631387-26th-international-symposium-lopstr-2016-edinburgh-uk-september-6-8-2016-revised-selected-papers-manuel-v-hermenegildo","provider":"Bookshop","version":"1.0","type":"link"}