no image available Dickens & Co. "Building Bridges: The Power of Formal Methods in Software Engineering" "A New Era of Trust and Reliability in Software Development" Price: 29.00€