no image available Dickens & Co. "Formal Ways Forward: Tackling Today's Complex Systems with Rigorous Methods" "Explore the Power of Formal Methods in Shaping the Future of Computing and Technology" Price: 26.00€