Goread Books
Home
Popular
Popular Books
Popular Audiobooks
Popular Free Books
Genre
Discover Books & Audiobooks you will love!
Books
Audiobooks
Search
Popular by Ezio Bartocci Rance Cleaveland Radu Grosu Oleg Sokolsky
From Reactive Systems to Cyber-Physical Systems
Ezio Bartocci, Rance Cleaveland, Radu Grosu & Oleg Sokolsky
Computational Methods in Systems Biology
Ezio Bartocci, Pietro Liò & Nicola Paoletti
Formal Methods in Outer Space
Ezio Bartocci, Yliès Falcone & Martin Leucker
Runtime Verification
Ezio Bartocci & Rupak Majumdar
Lectures on Runtime Verification
Ezio Bartocci & Yliès Falcone
