{"product_id":"доказательство-корректности-программ","title":"Доказательство корректности программ","description":"Книга \"Доказательство корректности программ\". Издательство: ДМК. Год выпуска: 2024. Переплет: Твердый переплет. Автор: Лейно К.\u003cbr\u003e\u003cbr\u003e#ASTTD# Search Terms: Лейно К. , Leino K. , ДМК , DMK , 9785937001993 , 978-5-93700-199-3 , 2036601","brand":"ДМК","offers":[{"title":"Новый","offer_id":46012343615652,"sku":"PRODUCT_2036601_ID","price":81.49,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0663\/4933\/4692\/files\/24caed691c1f515b244b0dfce6225e97.jpg?v=1728802935","url":"https:\/\/allbestus.com\/products\/%d0%b4%d0%be%d0%ba%d0%b0%d0%b7%d0%b0%d1%82%d0%b5%d0%bb%d1%8c%d1%81%d1%82%d0%b2%d0%be-%d0%ba%d0%be%d1%80%d1%80%d0%b5%d0%ba%d1%82%d0%bd%d0%be%d1%81%d1%82%d0%b8-%d0%bf%d1%80%d0%be%d0%b3%d1%80%d0%b0%d0%bc%d0%bc","provider":"Allbestus.com","version":"1.0","type":"link"}