{"product_id":"building-high-integrity-applications-with-spark-cambridge-university-press-9781107040731-john-w-mccormick","title":"Building High Integrity Applications with SPARK","description":"\u003cp\u003eThe formally defined programming language SPARK provides a means to guarantee that a computer program has no errors. This makes it a natural system for designing safety- and security-critical applications. This first introduction to SPARK 2014 will allow students and developers to master the basic concepts for building systems with SPARK.\u003c\/p\u003e","brand":"John W. McCormick","offers":[{"title":"Default Title","offer_id":52251067023702,"sku":"9781107040731","price":161.07,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781107040731.jpg?v=1767778400","url":"https:\/\/www.bookshop.lv\/products\/building-high-integrity-applications-with-spark-cambridge-university-press-9781107040731-john-w-mccormick","provider":"Bookshop","version":"1.0","type":"link"}