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
709 kr
Skickas inom 10-15 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
849 kr
Skickas inom 10-15 vardagar