no image available Dickens & Co. "Formal Methods: The Key to Error-Free Code" "Unleashing the Power of Mathematical Rigor in Software Development" Price: 29.00€