Hoppa till sidans huvudinnehåll

Andreas Podelski - Böcker

Visar alla böcker från författaren Andreas Podelski.
6 produkter

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

709 kr

Skickas inom 10-15 vardagar

Static Analysis

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

AvAndreas Podelski

Häftad, Engelska, 2018

709 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 419 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

709 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

709 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 m. fl.

Häftad, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar