Yazar
mario s alvim
2 cilt bulundu.
Cilt sonuçları
The Art of Modelling Computational Systems : A Journey from Logic and Concurrency to Security and Privacy
Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia · Springer
495 sayfa · 2019
Kategori yok
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