Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.
All Editions of Verification, Model Checking, and Abstract Interpretation Theoretical Computer Science and General Issues By Francesco Logozzo, Doron A Peled, Leonore D Zuck
Join our community for the latest bookish news, reading recommendations, exclusive opening extracts, author events and competitions. It\'s all free. And enter a monthly draw to win a £50 Gift Card. See past winners here
