Conceptual Programming with Python Autor Thorsten Altenkirch et al. 8 apr 2020 Paperback Preț: 114.77 lei 143.45 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ț: 332.57 lei 415.71 lei 6-8 săpt. -20%
Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers Lecture Notes in Computer Science, nr. 1657 Editat de Thorsten Altenkirch et al. 22 sep 1999 Paperback Preț: 328.60 lei 410.75 lei 6-8 săpt. -20%