Types for Proofs and Programs
Editat de Marino Miculan et al.
26 mai 2008
Paperback
Preț: 318.06 lei 397.57 lei
43-57 zile
-20%
Cărți de Furio Honsell
Frontiers of Fundamental Physics: Proceedings of the Sixth International Symposium "Frontiers of Fundamental and Computational Physics", Udine, Italy, 26-29 September 2004
Editat de B. G. Sidharth et al.
24 mar 2006
Hardback
Preț: 921.95 lei 1124.33 lei
43-57 zile
-18%
Foundations of Software Science and Computation Structures
Editat de Furio Honsell et al.
21 mar 2001
Paperback
Preț: 328.93 lei 411.16 lei
43-57 zile
-20%