no image available Dickens & Co. "Breaking the Code: The Intersection of Model Checking and Artificial Intelligence" "Unraveling the Power of Automated Verification in the Age of Intelligent Systems" Price: 24.00€