{"title":"Deri Sheppard","description":null,"products":[{"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":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0077079078.jpg?v=1751355698"},{"product_id":"robert-le-rossignol-book-deri-sheppard-9783030297169","title":"Robert Le Rossignol","description":"A principal aim of this first biography of Robert Le Rossignol, engineer of the Haber process, is to bring new evidence to the attention of the scientific community allowing a re-assessment of the origins of the 'Haber' process. However, the scope of the book is much wider and goes beyond the discovery of 'fixation' to account for a life distinct from Haber, one full of remarkable science, cruel circumstance, personal tragedy and amazing benevolence, the latter made possible by Haber’s generous financial arrangement with Le Rossignol regarding his royalties from the BASF.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52535148183825,"sku":"NLS9783030297169","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030297169.jpg?v=1760670420"},{"product_id":"robert-le-rossignol-book-deri-sheppard-9783030297138","title":"Robert Le Rossignol","description":"A principal aim of this first biography of Robert Le Rossignol, engineer of the Haber process, is to bring new evidence to the attention of the scientific community allowing a re-assessment of the origins of the 'Haber' process.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52542801543441,"sku":"NLS9783030297138","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030297138.jpg?v=1760689379"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-deri-sheppard.oembed","provider":"World of Books ","version":"1.0","type":"link"}