Principles of Abstract Interpretation by Patrick Cousot, Hardcover, 9780262044905 | Buy online at The Nile
Principles of Abstract Interpretation by Patrick Cousot - ISBN: 9780262044905
Hardcover
Unlock program correctness: semantics, specification, verification, and static analysis explained.

Principles of Abstract Interpretation

By:

$259.87

  • Hardcover

    816 pages

  • Release Date

    12 October 2021

Check Delivery Options

Summary

Formal methods are mathematically rigorous techniques for the specification, development, manipulation, and verification of safe, robust, and secure software and hardware systems. Abstract interpretation is a unifying theory of formal methods that proposes a general methodology for proving the correctness of computing systems, based on their semantics. The concepts of abstract interpretation underlie such software tools as compilers, type systems, and security protocol analyzers. This book pr…

Book Details

ISBN-13:9780262044905
ISBN-10:0262044900
Author:Patrick Cousot
Publisher:MIT Press Ltd
Imprint:MIT Press
Format:Hardcover
Number of Pages:816
Release Date:12 October 2021
Weight:567g
Dimensions:254mm x 178mm
You Can Find This Book In
About The Author

Patrick Cousot

Patrick Cousot is Julius Silver, Roslyn S. Silver, and Enid Silver Winslow Professor in the Computer Science Department at New York University.

Returns

This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.