no image available Dickens & Co. "Error-Proofing Code: A Cutting-Edge Approach to Detecting Defects" "Leveraging Bounded Model Checking and Function Approximations to Revolutionize Software Quality" Price: 33.00€