To view prices and purchase online, please login, or register for an account.
(Hardback)
By: Patrick Cousot
ISBN: 9780262044905
Readership/Audience: General
Publication Date: Oct 2021
Publisher: MIT Press Ltd
See more...
"An introduction to the theory and practice of abstract interpretation, with applications to the semantics, specification, verification, and static analysis of computer programs"--
