Types for Proofs and Programs
Editat de Marino Miculan et al.
26 mai 2008
Paperback
Preț: 317.08 lei 396.35 lei
6-8 săpt.
-20%
Cărți de Marino Miculan
Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings
Editat de Furio Honsell et al.
21 mar 2001
Paperback
Preț: 339.87 lei 424.84 lei
6-8 săpt.
-20%