Theorem Proving In Higher Order Logics: 21St International Conference, Tphols 2008, Montreal, Canada, August 18 21, 2008, Proceedings (Lecture Notes Computer Science And General Issues)

Otmane Ait Mohamed, Cesar Munoz, Sofisne Tahar

Edité par Springer, 2008
Langue: anglais
Etat : Neuf Couverture souple

Vendu par Books in my Basket, New Delhi, Inde

Vendeur AbeBooks depuis 10 septembre 2010

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

Afficher tous les articles du vendeur


Neuf(s) - Couverture souple

Etat : Neuf

Prix:
EUR 83,69
Expédition à EUR 18
Expédition depuis Inde vers Etats-Unis

Actuellement indisponible sur AbeBooks.fr

Trouvez cet article sur AbeBooks.com

Aller sur AbeBooks.com