Aaron R. Bradley
The Calculus of Computation: Decision Procedures with Applications to Verification Aaron R. Bradley 1st Ed. Softcover of Orig. Ed. 2007 edition

Name: The Calculus of Computation: Decision Procedures with Applications to Verification
Price: 1232 MXN
Availability: OutOfStock
Author: Aaron R. Bradley

Precio

Mex$ 1.232

sin IVA

Pedido desde almacén remoto

Entrega prevista 19 de ago. - 4 de sep.

Recibe notificaciones sobre nuevos lanzamientos de Aaron R. Bradley

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Aún no valorado

También disponible como:

Hardcover Book

2007 edition

(2007) Mex$ 1.769

The Calculus of Computation: Decision Procedures with Applications to Verification

Aaron R. Bradley

1st Ed. Softcover of Orig. Ed. 2007 edition

This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software.

366 pages, black & white illustrations

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	19 de octubre de 2010
ISBN13	9783642093470
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	366
Dimensiones	156 × 234 × 20 mm · 535 g
Lengua	Inglés