{"product_id":"9780691181301","title":"Formal Verification of Control System Software (Princeton Series in Applied Mathematics)","description":"\u003cp\u003eAn essential introduction to the analysis and verification of control system software The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. In this authoritative and accessible\u003c\/p\u003e","brand":"Princeton University Press","offers":[{"title":"Default Title","offer_id":52284990882103,"sku":"00000_00000_00000_00000","price":379.26,"currency_code":"MYR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0962\/3548\/7543\/files\/9780691181301-1.jpg?v=1783120540","url":"https:\/\/kinokuniya.com.my\/products\/9780691181301","provider":"Books Kinokuniya Malaysia","version":"1.0","type":"link"}