{"product_id":"model-checking-second-edition-cyber-physical-systems-series","title":"Model Checking, second edition (Cyber Physical Systems Series)","description":null,"brand":"Clarke Jr., Edmund M.,Kroening, Daniel,Grumberg, Orna,Veith, Helmut,Peled, Doron","offers":[{"title":"Very Good","offer_id":52714798842158,"sku":"mon0000061043","price":53.64,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0995\/4928\/2606\/files\/81k0-k0bFaL.jpg?v=1790098904","url":"https:\/\/bellwetherbooks.com\/products\/model-checking-second-edition-cyber-physical-systems-series","provider":"Bellwetherbooks","version":"1.0","type":"link"}