Types for Proofs and Programs Editat de Thorsten Altenkirch et al. 22 sep 1999 Paperback Preț: 317.08 lei 396.35 lei 6-8 săpt. -20%
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers Lecture Notes in Computer Science, nr. 4502 Editat de Thorsten Altenkirch et al. oct 2007 Paperback Preț: 319.92 lei 399.90 lei 6-8 săpt. -20%
Conceptual Programming with Python Autor Thorsten Altenkirch et al. 8 apr 2020 Paperback Preț: 109.28 lei 136.60 lei 6-8 săpt. -20%