Tác giả: Carlos Olarte

Ủng hộ

1 Ebooks bởi Carlos Olarte

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
Anh
DRM
€58.12