Yazar
annabelle mciver
4 cilt bulundu.
Cilt sonuçları
Abstraction, refinement and proof for probabilistic systems
Annabelle McIver, Charles C. Morgan · Springer
398 sayfa · 2004
Probabilities / Systems engineering / Engineering mathematics / Logic design / Computer science
Quantitative Evaluation of Systems
Annabelle McIver, Andras Horvath · Springer
434 sayfa · 2018
Reliability (engineering) / Computer networks
The Science of Quantitative Information Flow
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith · Springer
508 sayfa · 2020
Kategori yok