Sign up to our emails and be the first to know about new releases, special offers and more.
Australian Book Retailer of the Year 2021
An introduction to the theory and practice of abstract interpretation, with applications to the semantics, specification, verification, and static analysis of computer programs --
Finding stock availability...
Sign up to receive our emails.