no image available Dickens & Co. "Cracking the Code: The Quest for Efficient State Graph Construction" "Unraveling the Mysteries of Verification in Computer Science: A Step-by-Step Guide" Price: 25.00€