Principles of Abstract Interpretation 9780262044905 - Free Tracked Delivery
84,10 €
ISBN 9780262044905. Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs. The concepts of abstract interpretation underlie such software tools as compilers, type systems, and security protocol analyzers.
Jetzt bei Ebay:
