Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4941)

ISBN 10: 3540680845 ISBN 13: 9783540680840
Edité par Springer, 2008
Langue: anglais
Etat : Neuf Couverture souple

Vendu par ALLBOOKS1, Direk, SA, Australie

Vendeur AbeBooks depuis 13 décembre 2023

É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 36,16
Livraison gratuite
Expédition depuis Australie vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier