Foundations of Software Science and Computation Structures Editat de Furio Honsell et al. 21 mar 2001 Paperback Preț: 328.93 lei 411.16 lei 6-8 săpt. -20%
Types for Proofs and Programs Editat de Marino Miculan et al. 26 mai 2008 Paperback Preț: 318.06 lei 397.57 lei 6-8 săpt. -20%