Programming Methodology
Editat de Annabelle Mclver et al.
3 dec 2010
Paperback
Preț: 869.10 lei 1086.37 lei
43-57 zile
-20%
Cărți de Carroll Morgan
Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
Editat de Adenilso Simao et al.
28 oct 2011
Paperback
Preț: 399.09 lei 498.86 lei
43-57 zile
-20%
On the Refinement Calculus
Editat de Carroll Morgan et al.
13 dec 1994
Paperback
Preț: 366.76 lei
43-57 zile
The Science of Quantitative Information Flow
Autor Mário S. Alvim et al.
23 sep 2020
Hardback
Preț: 448.48 lei 560.61 lei
43-57 zile
-20%