{"product_id":"introduction-to-formal-specification-with-z-and-vdm-book-deri-sheppard-9780077079079","title":"Introduction to Formal Specification with Z and VDM","description":"Formal methods emphasize the correct and efficient development of software. This text puts formal specification in the context of traditional methods of software development, including object-orientation, introducing these concepts and the necessary discrete maths, before moving on to look at both Z and VDM in depth, using the case study of a drinks dispensing machine.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49595266138385,"sku":"GOR004041042","price":12.99,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0077079078.jpg?v=1751355698","url":"https:\/\/www.worldofbooks.com\/products\/introduction-to-formal-specification-with-z-and-vdm-book-deri-sheppard-9780077079079","provider":"World of Books ","version":"1.0","type":"link"}