The Calculus of Computation : Decision Procedures with Applications to Verification

Bradley, Aaron R.

ISBN 10: 8184893965 ISBN 13: 9788184893960

Editorial: Springer (sie), 2010

Idioma: Ingl�s

Condici�n: Like New Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por dsmbooks, Liverpool, Reino Unido

Vendedor de AbeBooks desde 28 de septiembre de 2015

Calificaci�n del vendedor: 4 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa blanda

Condici�n: Like New

Precio: EUR 50,69 Convertir moneda

EUR 31,14 gastos de env�o desde Reino Unido a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Like New.

N� de ref. del art�culo D7F7-3-M-8184893965-6

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: The Calculus of Computation : Decision Procedures with Applications to Verification
Editor: Springer (sie)
Fecha de publicaci�n: 2010
Idioma: Ingl�s
ISBN 10: 8184893965
ISBN 13: 9788184893960
Encuadernaci�n: Paperback
Estado: Like New
Tipo de libro: book

Descripci�n de la librer�a

collection of few very good books

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

dsmbooks
United Kingdom

Condiciones de venta y env�o

Condiciones de venta

we ship all orders with in the specified shipping date.

Condiciones de env�o

We use international air service to deliver products.

M�todos de pago

A�adir una petici�n