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

Av Andreas Podelski, François Taïani

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Static Analysis

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

Av Andreas 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

Av Kurt Jensen, Andreas Podelski

Häftad, Engelska, 2004

1 459 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

Av Andreas 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

Av Byron 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

Av Rajeev Joshi, Peter Müller m. fl

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar