Patrick Cousot

Gebundenes Buch

Principles of Abstract Interpretation

Beschreibung

"An introduction to the theory and practice of abstract interpretation, with applications to the semantics, specification, verification, and static analysis of computer programs"--

Autor

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

Produktdetails

• Verlag: MIT Press Ltd
• Seitenzahl: 816
• Erscheinungstermin: 21. September 2021
• Englisch
• Abmessung: 259mm x 186mm x 35mm
• Gewicht: 1486g
• ISBN-13: 9780262044905
• ISBN-10: 0262044900
• Artikelnr.: 62222055