{"product_id":"introduction-formal-specification-and-z-book-ben-potter-9780132422079","title":"Introduction Formal Specification And Z","description":"Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years.","brand":"WoB","offers":[{"title":"GB \/ WELL_READ \/ INTERNAL","offer_id":49621581758737,"sku":"GOR004541589","price":8.0,"currency_code":"CHF","in_stock":false},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49623209804049,"sku":"GOR002102153","price":10.0,"currency_code":"CHF","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":49798851297553,"sku":"CIN0132422077G","price":0.0,"currency_code":"CHF","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50933146026257,"sku":"GOR003703969","price":11.0,"currency_code":"CHF","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0132422077.jpg?v=1751069970","url":"https:\/\/www.worldofbooks.com\/de-ch\/products\/introduction-formal-specification-and-z-buch-ben-potter-9780132422079","provider":"World of Books ","version":"1.0","type":"link"}