Titre: The Calculus of Computation : Decision Procedures with Applications to Verification
�diteur: New Age International Publisher
Date de parution: 2010
Reliure: paperback
�tat de l'article: Good

Description de la librairie

We specialize in rare and hard to find titles as well as popular books in all subjects and languages.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

leifbooks Inc
P.O. box 577, GEORGETOWN, CO, 80444, U.S.A.

Conditions de vente et de livraison

Conditions g�n�rales de vente

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Droit de r�tractation

Conditions d'exp�dition

Frais d?exp�dition � l?int�rieur de ce pays�: Etats-Unis

Frais d?exp�dition � l?int�rieur de ce pays�: Etats-Unis
Quantit� command�e	4 � 14 jours ouvr�s	3 � 6 jours ouvr�s
Premier article	EUR 4.29	EUR 6.99

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.

Informations vendeur d�taill�es

Modes de paiement

Ajouter aux demandes de livres