Articles liés à Types for Proofs and Programs: International Workshop...

Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers - Couverture souple

Barendregt, Henk

 
9780387580852: Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers
Couverture souple
ISBN 10 : 0387580859 ISBN 13 : 9780387580852
Editeur : Springer Verlag, 1994

Synopsis

Book by Barendregt Henk

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurSpringer Verlag
  • Date d'édition1994
  • ISBN 10 0387580859
  • ISBN 13 9780387580852
  • ReliureBroché
  • Langueanglais
  • ÉditeurNipkow Tobias

Acheter D'occasion

état :  Satisfaisant
minor shelf wear Satisfaction 100%...
Afficher cet article
9780387580852: Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers
EUR 99,73

Autre devise

EUR 3,55 expédition vers Etats-Unis

Destinations, frais et délais

Acheter neuf

Afficher cet article
9780387580852: Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers
EUR 114,79

Autre devise

EUR 3,55 expédition vers Etats-Unis

Destinations, frais et délais

Autres éditions populaires du même titre

9783540580850: Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

Edition présentée

ISBN 10 :  3540580859 ISBN 13 :  9783540580850
Editeur : Springer, 2008
Couverture souple

Résultats de recherche pour Types for Proofs and Programs: International Workshop...

Image d'archives

Henk Barendregt~Tobias Nipkow
Edité par Springer, 1994
ISBN 10 : 0387580859 ISBN 13 : 9780387580852
Ancien ou d'occasion Paperback

Vendeur : Bookmans, Tucson, AZ, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Good. minor shelf wear Satisfaction 100% guaranteed. N° de réf. du vendeur mon0002461486

Contacter le vendeur

Acheter D'occasion

EUR 99,73
Autre devise
Frais de port : EUR 3,55
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Hank P. Barendregt
Edité par Springer, 1994
ISBN 10 : 0387580859 ISBN 13 : 9780387580852
Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 383. N° de réf. du vendeur 2650386418

Contacter le vendeur

Acheter neuf

EUR 114,79
Autre devise
Frais de port : EUR 3,55
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Hank P. Barendregt
Edité par Springer, 1994
ISBN 10 : 0387580859 ISBN 13 : 9780387580852
Neuf Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 383. N° de réf. du vendeur 58157613

Contacter le vendeur

Acheter neuf

EUR 118,52
Autre devise
Frais de port : EUR 7,68
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Nipkow Tobias Barendregt Henk
Edité par Springer, 1994
ISBN 10 : 0387580859 ISBN 13 : 9780387580852
Neuf Couverture souple

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 383. N° de réf. du vendeur 1850386424

Contacter le vendeur

Acheter neuf

EUR 119,50
Autre devise
Frais de port : EUR 9,95
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier