no image available Dickens & Co. "CodeQuest: The Pursuit of Code Reliability" "Unraveling the Mysteries of Hardware-Software Codesign Verifiability" Price: 24.00€