Contact
DMCA
Privacy Policy
Pickbooks
Toggle navigation
Categories
Genre
Best Book 2021
Best Young Adult Books
Best Sci-Fict & Fantasy
NY Times Best Books
Best Romance Novel
Best self-published Amazon
Best Kindle & Prime Amazon
100 Books to Read
100 Child Books to Read
Art
Biography
Business
Childrens
Classics
Comics
Contemporary
Manga
Memoir
Music
Mystery
Non Fiction
Poetry
Psychology
Cookbooks
Religion
Crime
Romance
Science
Fantasy
Science Fiction
Fiction
Graphic Novels
Sport
History
Thriller
Horror
Travel
Humor and Comedy
Young Adult
More Than
12,0657,538
Books Collection
Home
New release
Popular Books
Most Read
Popular Author
Program Analysis Books Categories
home
Program Analysis Books Categories
Program Analysis Categories Books List
Program Analysis Books Categories
View More
Principles of Program Analysis (Hardcover)
By:
Flemming Nielson
View More
Advanced Compiler Design and Implementation (Hardcover)
By:
Steven S. Muchnick
View More
Software Abstractions: Logic, Language, And Analysis (Hardcover)
By:
Daniel Jackson
View More
Principles of Model Checking (Mit Press)
By:
Christel Baier
View More
Compiler Design: Analysis and Transformation (Hardcover)
By:
Reinhard Wilhelm
View More
Principles of Abstract Interpretation (Hardcover)
By:
Patrick Cousot
View More
Engineering a Compiler (Hardcover)
By:
Keith D. Cooper
View More
Introduction to Static Analysis: An Abstract Interpretation Perspective (Hardcover)
By:
Xavier Rival
View More
Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics (Texts in Theoretical Computer Science. An EATCS Series)
By:
Juraj Hromkovic
View More
Data Flow Analysis: Theory and Practice (Hardcover)
By:
Uday Khedker
View More
Introduction to Mathematics of Satisfiability (Chapman & Hall/CRC Studies in Informatics Series)
By:
Victor Marek
View More
Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications (IOS Press))
By:
A. Biere
View More
Computational Complexity: A Modern Approach (Hardcover)
By:
Sanjeev Arora
View More
Lattices and Ordered Algebraic Structures (Universitext)
By:
Tom S. Blyth
View More
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
By:
Daniel Kroening
View More
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities (Hardcover)
By:
Axel Simon
View More
The Calculus of Computation: Decision Procedures with Applications to Verification (Hardcover)
By:
Aaron R. Bradley
View More
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions (Dover Books on Mathematics)
By:
Martin D. Davis
View More
Introduction to Lattices and Order (Paperback)
By:
B.A. Davey
View More
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
By:
Hanne Riis Nielson
View More
Introduction to Algorithms (Hardcover)
By:
Thomas H. Cormen
View More
Set Theory and the Continuum Problem (Oxford Logic Guides)
By:
Raymond M. Smullyan
View More
Introduction to the Theory of Computation (Hardcover)
By:
Michael Sipser
View More
Abstract Algebra (Hardcover)
By:
David S. Dummit
View More
Contemporary Abstract Algebra. (Hardcover)
By:
Joseph A. Gallian
View More
Programming Language Pragmatics (Paperback)
By:
Michael L. Scott