Ezio Bartocci – författare

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

6 produkter

Kategorier

6 produkter

Del 11500
Del 11500 - Lecture Notes in Computer Science
From Reactive Systems to Cyber-Physical Systems
Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
AvEzio Bartocci,Rance Cleavelandm. fl.
Häftad, Engelska, 2019
739 kr
Skickas inom 10-15 vardagar
Del 13065
Del 13065 - Lecture Notes in Computer Science
Formal Methods in Outer Space
Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
AvEzio Bartocci,Yliès Falconem. fl.
Häftad, Engelska, 2021
809 kr
Skickas inom 10-15 vardagar
Del 9333
Del 9333 - Lecture Notes in Computer Science
Runtime Verification
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
AvEzio Bartocci,Rupak Majumdar
Häftad, Engelska, 2015
739 kr
Skickas inom 10-15 vardagar
Del 9859
Del 9859 - Lecture Notes in Computer Science
Computational Methods in Systems Biology
14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
AvEzio Bartocci,Pietro Liom. fl.
Häftad, Engelska, 2016
709 kr
Skickas inom 10-15 vardagar
Del 10457
Del 10457 - Lecture Notes in Computer Science
Lectures on Runtime Verification
Introductory and Advanced Topics
AvEzio Bartocci,Yliès Falcone
Häftad, Engelska, 2018
949 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
739 kr
Skickas inom 10-15 vardagar