The Calculus of Computation. Decision Procedures with Applications to Verification.

BRADLEY, Aaron R. & Zohar MANNA

Edité par Springer, Berlin, 2007
Langue: anglais
Etat : Occasion - Comme neuf Couverture rigide

Vendu par Antiquariat Renner OHG, Albstadt, Allemagne

Membre d'association :

Vendeur AbeBooks depuis 4 juin 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


Ancien(s) ou d'occasion - Couverture rigide

Etat : Occasion - Comme neuf

Prix:
EUR 28
EUR 45 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier