Mário S. Alvim - Böcker

Visar alla böcker från författaren Mário S. Alvim.

2 produkter

Kategorier

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, Engelska, 2019

709 kr

Skickas inom 10-15 vardagar

Science of Quantitative Information Flow

Av Mário S. Alvim, Konstantinos Chatzikokolakis m. fl

Inbunden, Engelska, 2020

849 kr

Skickas inom 10-15 vardagar