Program Logics for Certified Compilers

Appel, Andrew W./ Dockins, Robert (Contributor)/ Hobor, Aquinas (Contributor)/ Beringer, Lennart (Contributor)/ Dodds, Josiah (Contributor)

ISBN 10: 110704801X ISBN 13: 9781107048010
Edité par Cambridge Univ Pr, 2014
Langue: anglais
Etat : Neuf Couverture rigide

Vendu par Revaluation Books, Exeter, Royaume-Uni

Vendeur AbeBooks depuis 6 janvier 2003

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

Etat : Neuf

Prix:
EUR 116,86
Expédition à EUR 14,67
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier