no image available Dickens & Co. "Formalizing the Future: Unlocking the Power of Mathematics in Computer Science" "Unleashing the Potential of Formal Methods in Software Development and Beyond" Price: 28.00€