Cărți de Carroll Morgan

The Science of Quantitative Information Flow

Information Security and Cryptography

Autor Mário S. Alvim et al.

23 sep 2020

Preț: 398^.13 lei 497^.66 lei

6-8 săpt.

-20%

Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Lecture Notes in Computer Science, nr. 7021

Editat de Adenilso Simao et al.

28 oct 2011

Preț: 406^.59 lei 508^.24 lei

6-8 săpt.

-20%

Programming Methodology

Monographs in Computer Science

Editat de Annabelle Mclver et al.

oct 2002

Preț: 648^.08 lei 810^.10 lei

6-8 săpt.

-20%

On the Refinement Calculus

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Carroll Morgan et al.

13 dec 1994

Preț: 373^.56 lei

6-8 săpt.