1.
Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, ...
by Joshi, Rajeev, M�ller, Pete...
ISBN: 9783642277047
List Price: $83.00
OUT OF STOCK
See Availability on Amazon2.
Tools and Algorithms for the Construction and Analysis of Systems 10th International Confere...
by Jensen, K., Podelski, Andreas
ISBN: 9783540212997
List Price: $100.00
3.
Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29 - Aug...
by Podelski, Andreas
ISBN: 9783319997247
List Price: $89.99
4.
Networked Systems : 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, ...
by Podelski, Andreas, Ta�ani, ...
ISBN: 9783030055288
List Price: $79.99
5.
Constraint Programming : Basics and Trends: 1994 Chatillon Spring School, Chantillon-sur-Sei...
by Podelski, Andreas
ISBN: 9780387591551
OUT OF STOCK
See Availability on Amazon6.
Constraint Programming : Basics and Trends: 1994 Chatillon Spring School, Chatillon-Sur-Sein...
by Podelski, Andreas
ISBN: 9783662205808
List Price: $24.99
OUT OF STOCK
See Availability on Amazon7.
Tools and Algorithms for the Construction and Analysis of Systems
by Jensen, Kurt, Podelski, And...
ISBN: 9783662186367
List Price: $24.99
OUT OF STOCK
See Availability on Amazon8.
Tree Automata and Languages
by Nivat, Maurice, Podelski, A...
ISBN: 9780444890269
List Price: $193.00