Cărți de Carroll Morgan

Programming Methodology

Monographs in Computer Science

Editat de Annabelle Mclver et al.

oct 2002

Preț: 635^.90 lei 794^.87 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ț: 399^.09 lei 498^.86 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ț: 366^.76 lei

6-8 săpt.

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

6-8 săpt.

-20%

Formal Methods, Informally

Autor Carroll Morgan

31 ian 2026

Preț: 286^.51 lei 358^.14 lei

Nepublicat încă

-20% Precomandă