Search

You searched for: Auteur Bartocci, Ezio Remove constraint Auteur: Bartocci, Ezio
1 - 3 of 3
Number of results to display per page

Search Results

1. Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
thumbnail
Full text!
Author:
Bartocci, Ezio; Falcone, Yliès; Leucker, Martin
Publisher:
Springer 2021
Format:
e-book
2. Model Checking Software
thumbnail
Full text!
Author:
Bartocci, Ezio; Ramakrishnan, C.R.; Ramakrishnan, C. R.
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
3. Computational Methods in Systems Biology
thumbnail
Full text!
Author:
Bartocci, Ezio. Lio, Pietro. Paoletti, Nicola.; Lio, Pietro; Paoletti, Nicola
Publisher:
Springer International Publishing 2016
Format:
e-book