{"product_id":"using-z-book-jim-woodcock-9780139484728","title":"Using Z","description":"Using Z contains enough material for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Z notation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49568953893137,"sku":"GOR001480091","price":10.0,"currency_code":"USD","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":50345274442001,"sku":"CIN0139484728G","price":5.82,"currency_code":"USD","in_stock":false},{"title":"GB \/ WELL_READ \/ INTERNAL","offer_id":52579312009489,"sku":"GOR004344522","price":10.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0139484728.jpg?v=1751444124","url":"https:\/\/www.worldofbooks.com\/products\/using-z-book-jim-woodcock-9780139484728","provider":"World of Books ","version":"1.0","type":"link"}