{"product_id":"andrei-mironov-metodi-verifikatsii-programm","title":"Андрей Миронов: Методы верификации программ","description":"В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.\nКнига предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».","brand":"ДМК-Пресс","offers":[{"title":"Default Title","offer_id":49349412618556,"sku":"x073t2ld3dmv20uakiu6b837","price":61.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0766\/3468\/5756\/files\/mironov_metodi_verifikatsii_programm_1.jpg?v=1711386939","url":"https:\/\/knizhka.us\/products\/andrei-mironov-metodi-verifikatsii-programm","provider":"Книжка US","version":"1.0","type":"link"}