Kostas Chatzikokolakis

ספרים שבהם Kostas Chatzikokolakis מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

The Art of Modelling Computational Systems : A Journey from Logic and Concurrency to Security and PrivacyMário S. Alvim

The Art of Modelling Computational Systems : A Journey from Logic and Concurrency to Security and Privacy

Mário S. Alvim · 2019