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
Synopsis
Book by Barendregt Henk
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 106,27
EUR 7,70 expédition depuis Etats-Unis vers France
Destinations, frais et délais
Résultats de recherche pour Types for Proofs and Programs: International Workshop...
Image d'archives
Types for Proofs and Programs
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 383. N° de réf. du vendeur 2650386418
Quantité disponible : 1 disponible(s)
Image d'archives
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers (Lecture Notes in Computer Science)
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
Paperback. Etat : Good. minor shelf wear Satisfaction 100% guaranteed. N° de réf. du vendeur mon0002461486
Quantité disponible : 1 disponible(s)
Image d'archives
Types for Proofs and Programs
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 383. N° de réf. du vendeur 58157613
Quantité disponible : 1 disponible(s)
Image d'archives
Types for Proofs and Programs
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 383. N° de réf. du vendeur 1850386424
Quantité disponible : 1 disponible(s)