Ezio Bartocci – författare

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

6 produkter

1. 

   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, 2019

   739 kr

   Lägg i varukorg

2. 

   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, 2021

   809 kr

   Lägg i varukorg

3. 

   Runtime Verification

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

   Av Ezio Bartocci, Rupak Majumdar

   Häftad, 2015

   739 kr

   Lägg i varukorg

4. 

   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, 2016

   719 kr

   Lägg i varukorg

5. 

   Lectures on Runtime Verification

   Introductory and Advanced Topics

   Av Ezio Bartocci, Yliès Falcone

   Häftad, 2018

   959 kr

   Lägg i varukorg

6. 

   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, 2013

   739 kr

   Lägg i varukorg