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

AvEzio Bartocci,Rance Cleaveland m. fl.

Häftad, Engelska, 2019

719 kr

Skickas inom 10-15 vardagar

Formal Methods in Outer Space

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

AvEzio Bartocci,Yliès Falcone m. fl.

Häftad, Engelska, 2021

789 kr

Skickas inom 10-15 vardagar

Runtime Verification

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

AvEzio Bartocci,Rupak Majumdar

Häftad, Engelska, 2015

719 kr

Skickas inom 10-15 vardagar

Computational Methods in Systems Biology

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

AvEzio Bartocci,Pietro Lio m. fl.

Häftad, Engelska, 2016

699 kr

Skickas inom 10-15 vardagar

Lectures on Runtime Verification

Introductory and Advanced Topics

AvEzio Bartocci,Yliès Falcone m. fl.

Häftad, Engelska, 2018

929 kr

Skickas inom 10-15 vardagar

Model Checking Software

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

AvEzio Bartocci,C. R. Ramakrishnan

Häftad, Engelska, 2013

719 kr

Skickas inom 10-15 vardagar