{"product_id":"program-proofs","title":"Program Proofs","description":"Brand New From Reputable UK Company With 30 Years Experience In Retail, Please Note Not All Our New Items Are Shrink Wrapped.\u003cbr\u003eAll items shipped within 3 working days of payment.\u003cbr\u003ePlease note that all our DVDs are Region 2.\u003cbr\u003e\u003cbr\u003e\u003cbr\u003e\\\\'Program Proofs\\\\' delves into the rigorous world of formal methods in computer science, offering a comprehensive guide to verifying software correctness. This authoritative text, featuring contributions from leading experts in the field, explores essential themes such as logic, algorithms, and the mathematical foundations of program verification. Ideal for both students and professionals, it bridges theory and practice, providing invaluable insights into ensuring software reliability and security. With its clear exposition and practical examples, \\\\'Program Proofs\\\\' stands as a crucial resource for anyone dedicated to mastering the art of program verification.","brand":"Chalkys.com","offers":[{"title":"Default Title","offer_id":48875954667842,"sku":"1792774","price":71.48,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0056\/8043\/1219\/files\/51j55vLpMCL._SL1500.jpg?v=1717250245","url":"https:\/\/chalkys.com\/products\/program-proofs","provider":"Chalkys.com","version":"1.0","type":"link"}