no image available Dickens & Co. "Formal Methods Unleashed: Unlocking the Power of Rigorous Software Development" "A Guide to Harnessing the Might of Formal Techniques in Software Engineering" Price: 30.00€