{"title":"J Wordsworth","description":null,"products":[{"product_id":"software-development-with-z-book-j-wordsworth-9780201627572","title":"Software Development with Z","description":"This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49515265392913,"sku":"GOR001729493","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50345747939601,"sku":"CIN0201627574VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":50345776808209,"sku":"CIN0201627574G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":51835379843345,"sku":"GOR003514201","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0201627574.jpg?v=1751258928"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-j-wordsworth.oembed","provider":"World of Books ","version":"1.0","type":"link"}