Cărți de Annabelle McIver

Abstraction, Refinement and Proof for Probabilistic Systems

Autor Annabelle McIver et al.

19 noi 2004

Preț: 962^.71 lei 1203^.40 lei

43-57 zile

-20%

Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11800

Editat de Maurice H. ter Beek et al.

15 sep 2019

Preț: 343^.53 lei 429^.41 lei

43-57 zile

-20%

The Science of Quantitative Information Flow

Information Security and Cryptography

Autor Mário S. Alvim et al.

23 sep 2020

Preț: 445^.45 lei 556^.82 lei

43-57 zile

-20%

Quantitative Evaluation of Systems

Lecture Notes in Computer Science, nr. 11024

Editat de Annabelle McIver et al.

15 aug 2018

Preț: 329^.14 lei 411^.42 lei

43-57 zile

-20%

Logic for Programming, Artificial Intelligence, and Reasoning

Editat de Martin Davis et al.

3 dec 2015

Preț: 340^.38 lei 425^.47 lei

43-57 zile

-20%