Pickbooks

Program Analysis Books Categories

Program Analysis Categories Books ListProgram Analysis Books Categories

Principles of Program Analysis (Hardcover)

Principles of Program Analysis (Hardcover)

Principles of Program Analysis (Hardcover)

By: Flemming Nielson

Advanced Compiler Design and Implementation (Hardcover)

Advanced Compiler Design and Implementation (Hardcover)

Advanced Compiler Design and Implementation (Hardcover)

By: Steven S. Muchnick

Software Abstractions: Logic, Language, And Analysis (Hardcover)

Software Abstractions: Logic, Language, And Analysis (Hardcover)

Software Abstractions: Logic, Language, And Analysis (Hardcover)

By: Daniel Jackson

Principles of Model Checking (Mit Press)

Principles of Model Checking (Mit Press)

Principles of Model Checking (Mit Press)

By: Christel Baier

Compiler Design: Analysis and Transformation (Hardcover)

Compiler Design: Analysis and Transformation (Hardcover)

Compiler Design: Analysis and Transformation (Hardcover)

By: Reinhard Wilhelm

Principles of Abstract Interpretation (Hardcover)

Principles of Abstract Interpretation (Hardcover)

Principles of Abstract Interpretation (Hardcover)

By: Patrick Cousot

Engineering a Compiler (Hardcover)

Engineering a Compiler (Hardcover)

Engineering a Compiler (Hardcover)

By: Keith D. Cooper

Introduction to Static Analysis: An Abstract Interpretation Perspective (Hardcover)

Introduction to Static Analysis: An Abstract Interpretation Perspective (Hardcover)

Introduction to Static Analysis: An Abstract Interpretation Perspective (Hardcover)

By: Xavier Rival

Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics (Texts in Theoretical Computer Science. An EATCS Series)

Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics (Texts in Theoretical Computer Science. An EATCS Series)

Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics (Texts in Theoretical Computer Science. An EATCS Series)

By: Juraj Hromkovic

Data Flow Analysis: Theory and Practice (Hardcover)

Data Flow Analysis: Theory and Practice (Hardcover)

Data Flow Analysis: Theory and Practice (Hardcover)

By: Uday Khedker

Introduction to Mathematics of Satisfiability (Chapman & Hall/CRC Studies in Informatics Series)

Introduction to Mathematics of Satisfiability (Chapman & Hall/CRC Studies in Informatics Series)

Introduction to Mathematics of Satisfiability (Chapman & Hall/CRC Studies in Informatics Series)

By: Victor Marek

Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications (IOS Press))

Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications (IOS Press))

Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications (IOS Press))

By: A. Biere

Computational Complexity: A Modern Approach (Hardcover)

Computational Complexity: A Modern Approach (Hardcover)

Computational Complexity: A Modern Approach (Hardcover)

By: Sanjeev Arora

Lattices and Ordered Algebraic Structures (Universitext)

Lattices and Ordered Algebraic Structures (Universitext)

Lattices and Ordered Algebraic Structures (Universitext)

By: Tom S. Blyth

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

By: Daniel Kroening

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities (Hardcover)

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities (Hardcover)

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities (Hardcover)

By: Axel Simon

The Calculus of Computation: Decision Procedures with Applications to Verification (Hardcover)

The Calculus of Computation: Decision Procedures with Applications to Verification (Hardcover)

The Calculus of Computation: Decision Procedures with Applications to Verification (Hardcover)

By: Aaron R. Bradley

The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions (Dover Books on Mathematics)

The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions (Dover Books on Mathematics)

The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions (Dover Books on Mathematics)

By: Martin D. Davis

Introduction to Lattices and Order (Paperback)

Introduction to Lattices and Order (Paperback)

Introduction to Lattices and Order (Paperback)

By: B.A. Davey

Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)

Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)

Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)

By: Hanne Riis Nielson

Introduction to Algorithms (Hardcover)

Introduction to Algorithms (Hardcover)

Introduction to Algorithms (Hardcover)

By: Thomas H. Cormen

Set Theory and the Continuum Problem (Oxford Logic Guides)

Set Theory and the Continuum Problem (Oxford Logic Guides)

Set Theory and the Continuum Problem (Oxford Logic Guides)

By: Raymond M. Smullyan

Introduction to the Theory of Computation (Hardcover)

Introduction to the Theory of Computation (Hardcover)

Introduction to the Theory of Computation (Hardcover)

By: Michael Sipser

Abstract Algebra (Hardcover)

Abstract Algebra (Hardcover)

Abstract Algebra (Hardcover)

By: David S. Dummit

Contemporary Abstract Algebra. (Hardcover)

Contemporary Abstract Algebra. (Hardcover)

Contemporary Abstract Algebra. (Hardcover)

By: Joseph A. Gallian

Programming Language Pragmatics (Paperback)

Programming Language Pragmatics (Paperback)

Programming Language Pragmatics (Paperback)

By: Michael L. Scott