{"product_id":"david-luckham-programming-with-specifications-9781461396871","title":"Programming with Specifications","description":"This monograph introduces ANNA, a language for specifying programs written in Ada.","brand":"Springer","offers":[{"title":"Default Title","offer_id":54645116731734,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9781461396871_1.jpg?v=1790991074","url":"https:\/\/www.momoxbooks.com\/products\/david-luckham-programming-with-specifications-9781461396871","provider":"momox","version":"1.0","type":"link"}