{"product_id":"graeme-smith-the-object-z-specification-language-advances-in-formal-methods-1-band-1-9780792386841","title":"The Object-Z Specification Language (Advances in Formal Methods, 1, Band 1)","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53799181615446,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/graeme-smith-the-object-z-specification-language-advances-in-formal-methods-1-band-1-9780792386841","provider":"momoxbooks","version":"1.0","type":"link"}