{"product_id":"9781107040731","title":"Building High Integrity Applications With Spark - 9781107040731","description":"This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.\u003cbr\u003e\u003cbr\u003e\u003cbr\u003e\u003cul\u003e\n\u003cli\u003e| \u003cb\u003eAuthor: \u003c\/b\u003eJohn W. McCormick, Peter C. Chapin\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003ePublisher: \u003c\/b\u003eCambridge University Press\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003ePublication Date: \u003c\/b\u003eAug 31, 2015\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eNumber of Pages: \u003c\/b\u003e382 pages\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eLanguage: \u003c\/b\u003eEnglish\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eBinding: \u003c\/b\u003eHardcover\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eISBN-10: \u003c\/b\u003e1107040736\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eISBN-13: \u003c\/b\u003e9781107040731\u003c\/li\u003e\n\u003c\/ul\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":48471056875825,"sku":"9781107040731","price":142.97,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0798\/8215\/8385\/products\/9781107040731.jpg?v=1710154555","url":"https:\/\/www.recomparo.com\/es\/products\/9781107040731","provider":"ReComparo.com","version":"1.0","type":"link"}