Mário S. Alvim - Böcker

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

2 produkter

Kategorier

2 produkter

Del 11760

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 Chatzikokolakis,Carlos Olarte,Frank Valencia,Mario S. Alvim

Häftad, Engelska, 2019

689 kr

Skickas inom 10-15 vardagar

Science of Quantitative Information Flow

AvMário S. Alvim,Konstantinos Chatzikokolakis,Annabelle McIver,Carroll Morgan,Catuscia Palamidessi,Geoffrey Smith,Mario S. Alvim

Inbunden, Engelska, 2020

829 kr

Skickas inom 10-15 vardagar