Ezio Bartocci - Böcker

Visar alla böcker från författaren Ezio Bartocci.
6 produkter
Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky - From Reactive Systems to Cyber-Physical Systems, Häftad

From Reactive Systems to Cyber-Physical Systems

Av Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar
Ezio Bartocci, Yliès Falcone, Martin Leucker, Ylies Falcone, Martin Falcone, Yliès - Formal Methods in Outer Space, Häftad

Formal Methods in Outer Space

Av Ezio Bartocci, Yliès Falcone, Martin Leucker, Ylies Falcone, Martin Falcone, Yliès

Häftad, Engelska, 2021

809 kr

Skickas inom 10-15 vardagar
Ezio Bartocci, Rupak Majumdar - Runtime Verification, Häftad

Runtime Verification

Av Ezio Bartocci, Rupak Majumdar

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar
Ezio Bartocci, Pietro Lio, Nicola Paoletti - Computational Methods in Systems Biology, Häftad

Computational Methods in Systems Biology

Av Ezio Bartocci, Pietro Lio, Nicola Paoletti

Häftad, Engelska, 2016

709 kr

Skickas inom 10-15 vardagar
Ezio Bartocci, Yliès Falcone, Ylies Falcone, Yliès - Lectures on Runtime Verification, Häftad

Lectures on Runtime Verification

Av Ezio Bartocci, Yliès Falcone, Ylies Falcone, Yliès

Häftad, Engelska, 2018

949 kr

Skickas inom 10-15 vardagar
Ezio Bartocci, C. R. Ramakrishnan - Model Checking Software, Häftad

Model Checking Software

Av Ezio Bartocci, C. R. Ramakrishnan

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar