{"product_id":"9783319274355","title":"Lecture Notes in Computer Science: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers","description":"\u003ch1\u003eLecture Notes in Computer Science: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers\u003c\/h1\u003e \u003ch2\u003eFalaschi, Moreno\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book constitutes the thoroughly refereed\npost-conference proceedings of the 25th International Symposium on Logic-Based\nProgram Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in\nJuly 2015.\u003c\/p\u003e\n\n\u003cp\u003eThe 21 revised full papers presented together with 3\ninvited talks were carefully reviewed and selected from 30 submissions. The aim\nof the LOPSTR series is to stimulate and promote international research and\ncollaboration on logic-based program development. LOPSTR is open to\ncontributions in all aspects of logic-based program development, all stages of\nthe software life cycle, and issues of both programming-in-the-small and\nprogramming-in-the-large.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2015-12-17\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783319274355\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-319-27436-2\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 385\u003c\/p\u003e ","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":45377456078988,"sku":"9783319274355","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783319274355.jpg?v=1774013614","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783319274355","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}