{"product_id":"derrick-g-kourie-the-correctness-by-construction-approach-to-programming-9783642279188","title":"The Correctness-by-Construction Approach to Programming","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53814774956374,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/derrick-g-kourie-the-correctness-by-construction-approach-to-programming-9783642279188","provider":"momoxbooks","version":"1.0","type":"link"}