Andreas Podelski – författare
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, 2019
739 kr
Lägg i varukorg
Static Analysis
25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Häftad, 2018
739 kr
Lägg i varukorg
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, 2004
1469 kr
Lägg i varukorg
Constraint Programming: Basics and Trends
1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers
Häftad, 1995
739 kr
Lägg i varukorg
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, 2007
739 kr
Lägg i varukorg
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, 2012
739 kr
Lägg i varukorg