Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science)
Barendregt, Henk [Editor]; Nipkow, Tobias [Editor];
Vendu par GuthrieBooks, Spring Branch, TX, Etats-Unis
Vendeur AbeBooks depuis 1 février 2007
Ancien(s) ou d'occasion - Couverture souple
Etat : Very Good
Quantité disponible : 1 disponible(s)
Ajouter au panier