{"product_id":"lecture-notes-in-computer-science-9783030684464","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions. The book also contains two invited talks in full paper length. The contributions were organized in topical sections named: rewriting; unification; types; verification; model checking and probabilistic programming; program analysis and testing; and logics.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915586597143,"sku":null,"price":8772.18,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030684464.jpg?v=1781527404","url":"https:\/\/payment.letskitaboo.com\/ur\/products\/lecture-notes-in-computer-science-9783030684464","provider":"Kitaboo One eStore","version":"1.0","type":"link"}