Cantitate/Preț
Produs
Total produse
Vezi coșul
Principles of Abstract Interpretation de Patrick Cousot

Principles of Abstract Interpretation

Autor Patrick Cousot
en Limba Engleză Hardback – 21 sep 2021
"An introduction to the theory and practice of abstract interpretation, with applications to the semantics, specification, verification, and static analysis of computer programs"--
Citește tot Restrânge

Preț: 54381 lei

Preț vechi: 69958 lei
-22% Nou

Puncte Express: 816
Preț estimativ în valută:
9624€ • 11248$ • 8356£

Carte indisponibilă temporar


Wish list
Gift list
Am citit!
Adaugă în listă
Doresc să fiu notificat când acest titlu va fi disponibil:
Trimite
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780262044905
ISBN-10: 0262044900
Pagini: 816
Ilustrații: 53
Dimensiuni: 186 x 259 x 35 mm
Greutate: 1.48 kg
Editura: MIT Press Ltd

Notă biografică

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

Cuprins

I Introduction
II Syntax
III Trace Semantics
IV Properties and their Abstractions
V Fixpoints and their Abstractions
VI Reachability Semantics
VII Abstract Domain and Abstract Interpreter
VIII Specification and Verification
IX Cartesian Static Analysis 
X Effective Fixpoint Approximation
XI Relational Static Analysis
XII Symbolic Static Analysis
XIII Backward Static Analysis
XIV Sound Static Analysis Tools
XV Conclusion
Bibliography 
Author Index
Index
Symbol Index
Project Index