Mário S. Alvim – författare

Visar alla böcker från författaren Mário S. Alvim. Handla med fri frakt och snabb leverans.

4 produkter

1. 

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

   568 kr

   Lägg i varukorg

   ​​This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday.It features 6 laudations, which are available in the front matter of the volume, and 25 papers by close collaborators and friends. The papers are organized in topical sections named: concurrency; …

2. 

   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 Frank Valencia, Carlos Olarte m. fl.

   E-bok, 2019

   710 kr

   Lägg i varukorg

   ​​This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday. It features 6 laudations, which are available in the front matter of the volume, and 25 papers by close collaborators and friends. The papers are organized in topical sections named: concurrency; …

3. 

   Science of Quantitative Information Flow

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

   Inbunden, 2020

   660 kr

   Lägg i varukorg

   This book presents a comprehensive mathematical theory that explains precisely what information flow is, how it can be assessed quantitatively – so bringing precise meaning to the intuition that certain information leaks are small enough to be tolerated – and how systems can be constructed that …

4. 

   Science of Quantitative Information Flow

   Av Geoffrey Smith, Catuscia Palamidessi m. fl.

   E-bok, 2020

   903 kr

   Lägg i varukorg

   This book presents a comprehensive mathematical theory that explains precisely what information flow is, how it can be assessed quantitatively – so bringing precise meaning to the intuition that certain information leaks are small enough to be tolerated – and how systems can be constructed that …