Autor: Kostas Chatzikokolakis

Soporte

1 Ebooks de Kostas Chatzikokolakis

Mario S. Alvim & Kostas Chatzikokolakis: Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
??This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday.It features 6 laudations, which are available in the front matter of the volume, and 25 papers b …
EPUB
Inglés
DRM
€58.12