Catalogo · 9783030873479
Formal Methods in Outer Space
ISBN 9783030873479
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Model Checking Software
Ezio Bartocci, C. R. Ramakrishnan
Runtime Verification
Ezio Bartocci, Rupak Majumdar
Lectures on Runtime Verification
Ezio Bartocci, Yliès Falcone
Organicittà
Ezio Bartocci
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
Verba volant · scripta manent