Hoppa till sidans huvudinnehåll

Ezio Bartocci - Böcker

Visar alla böcker från författaren Ezio Bartocci.
6 produkter

From Reactive Systems to Cyber-Physical Systems

Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Av Ezio Bartocci, Rance Cleaveland m. fl

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Formal Methods in Outer Space

Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Av Ezio Bartocci, Yliès Falcone m. fl

Häftad, Engelska, 2021

799 kr

Skickas inom 10-15 vardagar

Runtime Verification

6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Av Ezio Bartocci, Rupak Majumdar

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

Computational Methods in Systems Biology

14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

Av Ezio Bartocci, Pietro Lio m. fl

Häftad, Engelska, 2016

709 kr

Skickas inom 10-15 vardagar

Lectures on Runtime Verification

Introductory and Advanced Topics

Av Ezio Bartocci, Yliès Falcone m. fl

Häftad, Engelska, 2018

939 kr

Skickas inom 10-15 vardagar

Model Checking Software

20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Av Ezio Bartocci, C. R. Ramakrishnan

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar