Yazar
Kostas Chatzikokolakis
1 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