Andreas Podelski – författare

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

6 produkter

Kategorier

6 produkter

Del 11028
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
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 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
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üllerm. fl.
Häftad, Engelska, 2012
729 kr
Skickas inom 10-15 vardagar