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