{"product_id":"9780262026499","title":"Principles of Model Checking (Principles of Model Checking)","description":"\u003cp\u003eA comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.\u003c\/p\u003e","brand":"MIT Press","offers":[{"title":"Default Title","offer_id":49742221574392,"sku":"00000_00000_00000_00000","price":293.75,"currency_code":"AUD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0789\/8208\/6904\/files\/9780262026499-1.jpg?v=1783583204","url":"https:\/\/kinokuniya.com.au\/products\/9780262026499","provider":"Books Kinokuniya Australia","version":"1.0","type":"link"}