Hoppa till sidans huvudinnehåll

Mário S. Alvim – författare

Visar alla böcker från författaren Mário S. Alvim.
2 produkter
Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia - Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Häftad
Del 11760 - Lecture Notes in Computer Science

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

AvMário S. Alvim,Kostas Chatzikokolakism. fl.

Häftad, Engelska, 2019

739 kr

Skickas inom 10-15 vardagar

Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith - Science of Quantitative Information Flow, Inbunden

Science of Quantitative Information Flow

AvMário S. Alvim,Konstantinos Chatzikokolakism. fl.

Inbunden, Engelska, 2020

859 kr

Skickas inom 10-15 vardagar