no image available Dickens & Co. "Cracking the Code: The Cutting-Edge World of Model Checking in Artificial Intelligence" "Unraveling the Power of Directed Model Checking for a Smarter Tomorrow" Price: 27.00€