Cantitate/Preț
Produs

Principles of Abstract Interpretation

Autor Patrick Cousot
en Limba Engleză Hardback – 20 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ț: 51716 lei

Preț vechi: 64644 lei
-20% Nou

Puncte Express: 776

Preț estimativ în valută:
9897 10409$ 8244£

Carte disponibilă

Livrare economică 14-28 decembrie
Livrare express 30 noiembrie-06 decembrie pentru 6941 lei

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