Yazar
Ezio Bartocci
7 cilt bulundu.
Cilt sonuçları
Model Checking Software
Ezio Bartocci, C. R. Ramakrishnan · Springer
387 sayfa · 2013
Computer software / Congresses / Verification / Computer simulation / Testing
Organicittà
Ezio Bartocci · Carucci
78 sayfa · 1981
City planning / Research / Sources / Philosophy / Architectural design
Formal Methods in Outer Space
Ezio Bartocci, Yliès Falcone, Martin Leucker · Springer International Publishing AG
Sayfa sayısı yok · 2021
Kategori yok
Computational Methods in Systems Biology
Ezio Bartocci, Pietro Liò, Nicola Paoletti · Springer International Publishing AG
356 sayfa · 2016
Biology