{"product_id":"jim-woodcock-using-z-specification-refinement-and-proof-prentice-hall-international-series-in-computer-science-specification-proof-refinement-9780139484728","title":"Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science): Specification Proof Refinement","description":null,"brand":"Prentice Hall","offers":[{"title":"Default Title","offer_id":53688093344086,"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_9780139484728_1.jpg?v=1778855940","url":"https:\/\/www.momoxbooks.com\/products\/jim-woodcock-using-z-specification-refinement-and-proof-prentice-hall-international-series-in-computer-science-specification-proof-refinement-9780139484728","provider":"momoxbooks","version":"1.0","type":"link"}