|
|

avaa valikko

Andreas Podelski | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 6 tuotetta
Haluatko tarkentaa hakukriteerejä?



Jensen, Kurt; Podelski, Andreas
Springer
2004
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems : 10th International Conference, TACAS 2004, Held as Part
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Podelski, Andreas
Springer
1995
Pehmeäkantinen kirja
Constraint Programming: Basics and Trends : 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994.
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Podelski, Andreas
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Podelski, Andreas; Taïani, François
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja
Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Cook, Byron; Podelski, Andreas
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja
Verification, Model Checking, and Abstract Interpretation - 8th International Conference, VMCAI 2007, Nice, France, January 14-1
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Joshi, Rajeev; Müller, Peter; Podelski, Andreas
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja
Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €