The Calculus of Computation: Decision Procedures with Applications to Verification

Bradley, Aaron R.

15 évaluations par Goodreads

Langue : anglais

Edité par Springer, 2007

3540741127 / 9783540741121

Vendeur : Marlton Books, Bridgeton, NJ, Etats-UnisMarlton Books

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 1 juillet 2025

Afficher les articles de ce vendeur
Livre relié

Etat: Occasion - Satisfaisant

EUR 53,32

EUR 2,64 expédition 
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier
Retours gratuits sous 30 jours

Item description from seller

Has some wear and creases. Has a remainder mark. hardcover Used - Good 2007.

N° de réf. du vendeur AB-022072

Titre
The Calculus of Computation: Decision Procedures with Applications to Verification
Auteur
Bradley, Aaron R.
Éditeur
Springer
Année de publication
2007
État de l'article
Good
Reliure
Couverture rigide
Langue
anglais
ISBN à 10 chiffres
3540741127
ISBN à 13 chiffres
9783540741121
Poids de l'article
23,98 onces

Marlton Books

Bridgeton, NJ, Etats-Unis

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 1 juillet 2025

Frais d'expédition à l'intérieur de ce pays : Etats-Unis

Article5 à 14 jours ouvrés3 à 6 jours ouvrés
Premier articleEUR 2,64EUR 7,02
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Description de la boutique

Marlton Books, thousands of New books at discount prices!

Spécialité

New and Used