Paul callaghan u a (1 résultats)

Auteur:

Affiner les résultats avec une recherche avancée

Autres images
Types for Proofs and Programs | International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Paul Callaghan (u. a.)
Langue : anglais
Edité par Springer, 2002
3540432876 / 9783540432876
- Couverture souple
- impression à la demande
Vendeur : preigu, Osnabrück, Allemagnepreigu
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 50,45
EUR 70,00 expédition
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponibles
Taschenbuch. Etat : Neu. Types for Proofs and Programs | International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers | Paul Callaghan (u. a.) | Taschenbuch | viii | Englisch | 2002 | Springer | EAN 9783540432876 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …