Andreas Podelski | Booky.fi

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

Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers

Podelski, Andreas; Taïani, François
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

51,40 €

Constraint Programming: Basics and Trends - 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Select

Podelski, Andreas
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1995
Pehmeäkantinen kirja

51,40 €

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

Podelski, Andreas
Springer International Publishing AG
2018
Pehmeäkantinen kirja

51,40 €

Tools and Algorithms for the Construction and Analysis of Systems - 10th International Conference, TACAS 2004, Held as Part of t

Jensen, Kurt; Podelski, Andreas
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2004
Pehmeäkantinen kirja

101,40 €

Verification, Model Checking, and Abstract Interpretation - 8th International Conference, VMCAI 2007, Nice, France, January 14-1

Cook, Byron; Podelski, Andreas
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,40 €

Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29

Joshi, Rajeev; Müller, Peter; Podelski, Andreas
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja

51,40 €

Toimitusehdot

Asiakaspalvelu

YHTEYSTIEDOT

SEURAA MEITÄ

Booky.fi | Kotimainen kirjakauppasi netissä

Löydä seuraava lukuelämyksesi meiltä. Valikoimassamme ovat kaikki kotimaiset kirjat sekä noin 25 miljoonaa ulkomaista teosta.
Toimitamme tilaukset maailmanlaajuisesti!

Tietosuojaseloste

Evästeiden hallinta

Maksutavat