no image available Dickens & Co. "Code of Conduct: Exploring the Frontiers of Verified Software Theories" "Unraveling the Mysteries of Fault-Free Code: A Journey Through Verified Software Theories" Price: 35.00€