Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings (eng)

Klein, Gerwin

ISBN 10: 3319089692 ISBN 13: 9783319089690
Edité par Springer, 2014
Langue: anglais
Etat : Neuf Couverture souple

Vendu par Brook Bookstore On Demand, Napoli, NA, Italie

Vendeur AbeBooks depuis 11 octobre 2022

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

Afficher tous les articles du vendeur


Neuf(s) - Couverture souple

Etat : Neuf

Prix:
EUR 46,22
Expédition à EUR 8
Expédition depuis Italie vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier