{"product_id":"введение-в-формальные-методы-верификации-программ-2-е-изд-испр","title":"Введение в формальные методы верификации программ. 2-е изд., испр","description":"Книга \"Введение в формальные методы верификации программ. 2-е изд., испр\". Издательство: ДМК-Пресс. Год выпуска: 2024. Переплет: Твердый переплет. Автор: Камкин А.С.\u003cbr\u003e\u003cbr\u003e#ASTTD# Search Terms: Камкин А.С. , Kamkin A.S. , ДМК-Пресс , DMK-Press , 9785937003409 , 978-5-93700-340-9 , 2087234","brand":"ДМК-Пресс","offers":[{"title":"Новый","offer_id":50849563050148,"sku":"PRODUCT_2087234_ID","price":45.99,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0663\/4933\/4692\/files\/eace17cd786e560cefe74d50d880e71f.jpg?v=1742676841","url":"https:\/\/allbestus.com\/ru\/products\/%d0%b2%d0%b2%d0%b5%d0%b4%d0%b5%d0%bd%d0%b8%d0%b5-%d0%b2-%d1%84%d0%be%d1%80%d0%bc%d0%b0%d0%bb%d1%8c%d0%bd%d1%8b%d0%b5-%d0%bc%d0%b5%d1%82%d0%be%d0%b4%d1%8b-%d0%b2%d0%b5%d1%80%d0%b8%d1%84%d0%b8%d0%ba%d0%b0%d1%86%d0%b8%d0%b8-%d0%bf%d1%80%d0%be%d0%b3%d1%80%d0%b0%d0%bc%d0%bc-2-%d0%b5-%d0%b8%d0%b7%d0%b4-%d0%b8%d1%81%d0%bf%d1%80","provider":"Allbestus.com","version":"1.0","type":"link"}