Andreas Podelski - Böcker

Visar alla böcker från författaren Andreas Podelski.
6 produkter
Andreas Podelski, François Taïani - Networked Systems, Häftad

Networked Systems

Av Andreas Podelski, François Taïani

Häftad, Engelska, 2019

729 kr

Skickas inom 7-10 vardagar
Andreas Podelski - Static Analysis, Häftad

Static Analysis

Av Andreas Podelski

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar
Kurt Jensen, Andreas Podelski - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 2988 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Kurt Jensen, Andreas Podelski

Häftad, Engelska, 2004

1 449 kr

Skickas inom 7-10 vardagar
Andreas Podelski - Constraint Programming: Basics and Trends, Häftad
Del 910 - Lecture Notes in Computer Science

Constraint Programming: Basics and Trends

Av Andreas Podelski

Häftad, Engelska, 1995

729 kr

Skickas inom 7-10 vardagar
Byron Cook, Andreas Podelski - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Byron Cook, Andreas Podelski

Häftad, Engelska, 2007

729 kr

Skickas inom 7-10 vardagar
Rajeev Joshi, Peter Müller, Andreas Podelski - Verified Software: Theories, Tools, Experiments, Häftad

Verified Software: Theories, Tools, Experiments

Av Rajeev Joshi, Peter Müller, Andreas Podelski

Häftad, Engelska, 2012

729 kr

Skickas inom 7-10 vardagar