{"product_id":"mathematics-of-program-construction-9783031169120","title":"Mathematics of Program Construction","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 2022.  The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 14 submissions. The papers deal with mathematical principles and techniques for constructing computer programs.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915790184727,"sku":null,"price":6747.52,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031169120.jpg?v=1781530453","url":"https:\/\/payment.letskitaboo.com\/te\/products\/mathematics-of-program-construction-9783031169120","provider":"Kitaboo One eStore","version":"1.0","type":"link"}