|
|

avaa valikko

Sandrine Blazy | Akateeminen Kirjakauppa

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



Blazy, Sandrine; Paulin-Mohring, Christine; Pichardie, David
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja
Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Blazy, Sandrine; Jensen, Thomas
Springer
2015
Pehmeäkantinen kirja
Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Blazy, Sandrine; Chechik, Marsha
Springer
2016
Pehmeäkantinen kirja
Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Blazy, Sandrine; Paulin-Mohring, Christine; Pichardie, David
Springer
2013
Pehmeäkantinen kirja
Interactive Theorem Proving - 4th International Conference, Itp 2013, Rennes, France, July 22-26, 2013, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
117,70 €