{"product_id":"formal-specification-using-z-book-david-lightfoot-9780333763278","title":"Formal Specification using Z","description":"Formal specification is a technique for specifying what is required of a computer system clearly, concisely and without ambiguity. Z is a leading notation for formal specification. Formal Specification Using Z is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering. It is intended for non-mathematicians, and it introduces the ideas in a constructive style, building each new concept on the ones already covered. Each chapter is followed by a set of exercises, and sample solutions are provided for all of these in an appendix.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49598417469713,"sku":"GOR001182436","price":11.99,"currency_code":"USD","in_stock":true},{"title":"GB \/ LIKE_NEW \/ INTERNAL","offer_id":50575975481617,"sku":"GOR010580307","price":10.0,"currency_code":"USD","in_stock":false},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":52818865651985,"sku":"GOR004454217","price":10.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0333763270.jpg?v=1751421162","url":"https:\/\/www.worldofbooks.com\/products\/formal-specification-using-z-book-david-lightfoot-9780333763278","provider":"World of Books ","version":"1.0","type":"link"}