Mário S. Alvim - Böcker
Visar alla böcker från författaren Mário S. Alvim.
2 produkter
2 produkter
Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Av Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia, Mario S. Alvim
Häftad, Engelska, 2019
719 kr
Skickas inom 7-10 vardagar
Science of Quantitative Information Flow
Av Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith, Mario S. Alvim
Inbunden, Engelska, 2020
859 kr
Skickas inom 7-10 vardagar