|
|

avaa valikko

Ezio Bartocci | Akateeminen Kirjakauppa

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



Bartocci, Ezio; Ramakrishnan, C. R.
Springer
2013
Pehmeäkantinen kirja
Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bartocci, Ezio; Majumdar, Rupak
Springer
2015
Pehmeäkantinen kirja
Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bartocci, Ezio; Lio, Pietro; Paoletti, Nicola
Springer
2016
Pehmeäkantinen kirja
Computational Methods in Systems Biology : 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bartocci, Ezio; Falcone, Yliès
Springer
2018
Pehmeäkantinen kirja
Lectures on Runtime Verification : Introductory and Advanced Topics
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
66,10 €
Bartocci, Ezio; Cleaveland, Rance; Grosu, Radu; Sokolsky, Oleg
Springer
2019
Pehmeäkantinen kirja
From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bartocci, Ezio; Falcone, Yliès; Leucker, Martin
Springer
2021
Pehmeäkantinen kirja
Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
56,10 €
Bartocci, Ezio; Ramakrishnan, C R
Springer
2013
Pehmeäkantinen kirja
Model Checking Software - 20th International Symposium, Spin 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
117,80 €