A

Andreas Podelski

7 books found

Books by Andreas Podelski
Static AnalysisAndreas Podelski
⏱ 7h 35m

Static Analysis

Andreas Podelski

2018455 pp.
Constraint programmingAndreas Podelski
⏱ 5h 16m

Constraint programming

Andreas Podelski

1995316 pp.
Constraint Programming: Basics and TrendsAndreas Podelski
⏱ 5h 16m

Constraint Programming: Basics and Trends

Andreas Podelski

1995316 pp.
Verification, Model Checking, and Abstract InterpretationKedar S. Namjoshi
⏱ 6h 35m

Verification, Model Checking, and Abstract Interpretation

Kedar S. Namjoshi

2005395 pp.
Verification, Model Checking, and Abstract InterpretationAndreas Podelski,Byron Cook

Verification, Model Checking, and Abstract Interpretation

Andreas Podelski,Byron Cook

2008No page data
Tools and Algorithms for the Construction and Analysis of SystemsKurt Jensen
⏱ 10h 14m

Tools and Algorithms for the Construction and Analysis of Systems

Kurt Jensen

2004614 pp.
Networked SystemsAndreas Podelski
⏱ 7h 25m

Networked Systems

Andreas Podelski

2019445 pp.