no image available Dickens & Co. "Breaking Down Barriers: How Formal Methods Are Revolutionizing Software Development" "Unleashing the Power of Rigorous Analysis in the Digital Age" Price: 29.00€