Mechanizing Mathematical Reasoning
Editat de Dieter Hutter et al.
23 feb 2005
Paperback
Preț: 638.22 lei 797.77 lei
43-57 zile
-20%
Cărți de Dieter Hutter
Security in Pervasive Computing
Editat de Dieter Hutter et al.
30 mar 2005
Paperback
Preț: 319.92 lei 399.90 lei
43-57 zile
-20%
Rippling
Autor Alan Bundy et al.
30 iun 2005
Hardback
Preț: 776.40 lei 970.51 lei
43-57 zile
-20%
Applied Formal Methods - FM-Trends 98
Editat de Dieter Hutter et al.
25 aug 1999
Paperback
Preț: 327.07 lei 408.84 lei
43-57 zile
-20%
Security in Pervasive Computing
Editat de Dieter Hutter et al.
26 ian 2004
Paperback
Preț: 275.74 lei 344.67 lei
Indisponibil temporar
-20%