Hoppa till sidans huvudinnehåll

Andreas Podelski - Böcker

Visar alla böcker från författaren Andreas Podelski.
6 produkter
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

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

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 439 kr

Skickas inom 10-15 vardagar

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

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

Verified Software: Theories, Tools, Experiments

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

AvRajeev Joshi,Peter Müller,Andreas Podelski

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar