{"product_id":"model-checking-second-edition-cyber-physical-systems-series-0262038838","title":"Model Checking, second edition (Cyber Physical Systems Series)","description":"\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 0262038838\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e MIT Press\u003c\/p\u003e\u003cp\u003eModel Checking, second edition (Cyber Physical Systems Series). by MIT Press. Category: ABIS_BOOK.\u003c\/p\u003e","brand":"MIT Press","offers":[{"title":"New","offer_id":51491381346592,"sku":"NEW0262038838","price":130.0,"currency_code":"CAD","in_stock":true},{"title":"Used - Good","offer_id":51491381379360,"sku":"USED0262038838","price":101.0,"currency_code":"CAD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0980\/7426\/3840\/files\/81k0-k0bFaL.jpg?v=1785790672","url":"https:\/\/miakarts.com\/en-ca\/products\/model-checking-second-edition-cyber-physical-systems-series-0262038838","provider":"Miakarts Books","version":"1.0","type":"link"}