Book Reading Time
Home
Subjects
Calculator
About
Contact
Search
A
Andreas Podelski
7 books found
Books by Andreas Podelski
Static Analysis
Andreas Podelski
⏱ 7h 35m
Static Analysis
Andreas Podelski
2018
455 pp.
Constraint programming
Andreas Podelski
⏱ 5h 16m
Constraint programming
Andreas Podelski
1995
316 pp.
Constraint Programming: Basics and Trends
Andreas Podelski
⏱ 5h 16m
Constraint Programming: Basics and Trends
Andreas Podelski
1995
316 pp.
Verification, Model Checking, and Abstract Interpretation
Kedar S. Namjoshi
⏱ 6h 35m
Verification, Model Checking, and Abstract Interpretation
Kedar S. Namjoshi
2005
395 pp.
Verification, Model Checking, and Abstract Interpretation
Andreas Podelski,Byron Cook
Verification, Model Checking, and Abstract Interpretation
Andreas Podelski,Byron Cook
2008
No page data
Tools and Algorithms for the Construction and Analysis of Systems
Kurt Jensen
⏱ 10h 14m
Tools and Algorithms for the Construction and Analysis of Systems
Kurt Jensen
2004
614 pp.
Networked Systems
Andreas Podelski
⏱ 7h 25m
Networked Systems
Andreas Podelski
2019
445 pp.