Automated reasoning: Introduction and applications

Boyle Larry, Ross Overbeek, Ewing Lusk, Jim Wos

ISBN 10: 0130544531 ISBN 13: 9780130544537
Edité par Prentice-Hall
Langue: anglais
Etat : Occasion - Assez bon Couverture rigide

Vendu par Cycle Books LA, South el monte, CA, Etats-Unis

Vendeur AbeBooks depuis 3 octobre 2025

É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 rigide

Etat : Occasion - Assez bon

Prix:
EUR 6,22
Expédition à EUR 2,59
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier