Bartocci, Ezio books & textbook
Computational Methods in Systems Biology: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings (Lecture Notes in Computer Science, 9859)
Bartocci, Ezio Lio, Pietro Paoletti, Nicola
Springer /2016-09-04 Paperback / 369 Pages
isbn-10: 3319451766 / isbn-13: 9783319451763
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings (Programming and Software Engineering)
Bartocci, Ezio Majumdar, Rupak
Springer /2015-09-11 Paperback / 451 Pages
isbn-10: 3319238191 / isbn-13: 9783319238197
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Programming and Software Engineering)
Bartocci, Ezio Falcone, Yliès Leucker, Martin
Springer /2021-09-28 Paperback / 208 Pages
isbn-10: 3030873471 / isbn-13: 9783030873479
Organicittà (Italian Edition)
Carucci /1981T Paperback / 78 Pages
isbn-10: 8885027539 / isbn-13: 9788885027534
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings (Theoretical Computer Science and General Issues)
Bartocci, Ezio Ramakrishnan, C. R.
Springer /2013-07-19 Paperback / 387 Pages
isbn-10: 3642391753 / isbn-13: 9783642391750
Lectures on Runtime Verification: Introductory and Advanced Topics (Programming and Software Engineering)
Springer /2018-02-11 Paperback / 240 Pages
isbn-10: 3319756311 / isbn-13: 9783319756318
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 11500)
Bartocci, Ezio Cleaveland, Rance Grosu, Radu Sokolsky, Oleg
Springer /2019-09-21 Paperback / 320 Pages
isbn-10: 3030315134 / isbn-13: 9783030315139
