Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)

Livre 3 sur 40: Cambridge Tracts in Theoretical Computer Science

Paulson, Lawrence C.

ISBN 10: 0521346320 ISBN 13: 9780521346320
Edité par Cambridge University Press, 1987
Langue: anglais
Etat : Occasion - Assez bon Couverture rigide

Vendu par thebookforest.com, San Rafael, CA, Etats-Unis

Vendeur AbeBooks depuis 3 janvier 2023

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

Afficher tous les articles du vendeur


Ancien(s) ou d'occasion - Couverture rigide

Etat : Occasion - Assez bon

Prix:
EUR 263,30
Expédition à EUR 4,25
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier