The Calculus of Computation: Decision Procedures with Applications to Verification - Aaron R. Bradley - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540741121 - 3 de septiembre de 2007
En caso de que portada y título no coincidan, el título será el correcto

Aaron R. Bradley
The Calculus of Computation: Decision Procedures with Applications to Verification 2007 edition

Precio
$ 102,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 8 - 27 de jul.

Nuestros clientes opinan:

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

También disponible como:

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.

384 pages, 60 black & white illustrations, 3 black & white tables, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 3 de septiembre de 2007
ISBN13 9783540741121
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 366
Dimensiones 241 × 164 × 28 mm   ·   730 g
Lengua Alemán  

Mas por Aaron R. Bradley

Mostrar todo

Mere med samme udgiver

Ver todo de Aaron R. Bradley ( Ej. Hardcover Book y Paperback Book )