no image available Dickens & Co. "Code of the Future: How Formal Methods Can Shape the Next Generation of Software" "Unlocking the Power of Logic and Math to Write Error-Free Code" Price: 30.00€