Hoppa till sidans huvudinnehåll

Andreas Podelski – författare

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

Networked Systems

6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers

AvAndreas Podelski,François Taïani

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Andreas Podelski - Static Analysis, Häftad
Del 11002 - Lecture Notes in Computer Science

Static Analysis

25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

AvAndreas Podelski

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Kurt Jensen, Andreas Podelski - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

AvKurt Jensen,Andreas Podelski

Häftad, Engelska, 2004

1 449 kr

Skickas inom 10-15 vardagar

Andreas Podelski - Constraint Programming: Basics and Trends, Häftad

Constraint Programming: Basics and Trends

1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers

AvAndreas Podelski

Häftad, Engelska, 1995

729 kr

Skickas inom 10-15 vardagar

Byron Cook, Andreas Podelski - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

AvByron Cook,Andreas Podelski

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar

Rajeev Joshi, Peter Müller, Andreas Podelski - Verified Software: Theories, Tools, Experiments, Häftad

Verified Software: Theories, Tools, Experiments

4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

AvRajeev Joshi,Peter Müllerm. fl.

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar