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

739 kr

Skickas inom 7-10 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 7-10 vardagar
Ezio Bartocci, Rupak Majumdar - Runtime Verification, Häftad

Runtime Verification

Av Ezio Bartocci, Rupak Majumdar

Häftad, Engelska, 2015

739 kr

Skickas inom 7-10 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

719 kr

Skickas inom 7-10 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

959 kr

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

Model Checking Software

Av Ezio Bartocci, C. R. Ramakrishnan

Häftad, Engelska, 2013

739 kr

Skickas inom 7-10 vardagar