Kostas Chatzikokolakis – författare
Visar alla böcker från författaren Kostas Chatzikokolakis. Handla med fri frakt och snabb leverans.
2 produkter
Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
Av Mário S. Alvim, Kostas Chatzikokolakis m. fl.
Häftad, 2019
568 kr
Lägg i varukorg
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 by close collaborators and friends. The papers are organized in topical sections named: concurrency; …
Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
Av Frank Valencia, Carlos Olarte m. fl.
E-bok, 2019
710 kr
Lägg i varukorg
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 by close collaborators and friends. The papers are organized in topical sections named: concurrency; …
