no image available Dickens & Co. "Cracking the Code: Unraveling the Mysteries of Secure Communication" "Empowering Secure Connections with the Power of SAT-based Model Checking" Price: 25.00€