Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)

L.J.M. Claesen & M.J.C. Gordon

ISBN 10: 0444898808 ISBN 13: 9780444898807
Edité par North Holland Publishing, 1993
Langue: anglais
Etat : Occasion - Comme neuf Couverture souple

Vendu par Salish Sea Books, Bellingham, WA, Etats-Unis

Vendeur AbeBooks depuis 15 mai 2007

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

Afficher tous les articles du vendeur


Ancien(s) ou d'occasion - Couverture souple

Etat : Occasion - Comme neuf

Prix:
EUR 118,02
EUR 4,24 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier