T�tulo: The Calculus of Computation : Decision Procedures with Applications to Verification
Editor: New Age International Publisher
Fecha de publicaci�n: 2010
Encuadernaci�n: paperback
Estado: Good

Descripci�n de la librer�a

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

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

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

Condiciones de venta y env�o

Condiciones de venta

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.

Condiciones de env�o

Informaci�n detallada sobre el vendedor

M�todos de pago

A�adir una petici�n