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 Marino Miculan
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%