{"product_id":"a-doron-peled-model-checking-9780262032704","title":"Model Checking","description":"This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.","brand":"MIT Press Ltd","offers":[{"title":"Used - like new","offer_id":53494735274326,"sku":"9780262032704-N","price":7.99,"currency_code":"EUR","in_stock":true},{"title":"Used - good","offer_id":54103179166038,"sku":"9780262032704-G","price":8.89,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9780262032704_1.jpg?v=1778127106","url":"https:\/\/www.momoxbooks.com\/products\/a-doron-peled-model-checking-9780262032704","provider":"momoxbooks","version":"1.0","type":"link"}