Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets - Monographs in Computer Science - Domenico Cantone - Libros - Springer-Verlag New York Inc. - 9780387951973 - 26 de junio de 2001
En caso de que portada y título no coincidan, el título será el correcto

Domenico Cantone
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets - Monographs in Computer Science 2001 edition

Precio
$ 184,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 17 de jun. - 6 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:

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.

409 pages, 1 black & white illustrations, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 26 de junio de 2001
ISBN13 9780387951973
Editores Springer-Verlag New York Inc.
Páginas 409
Dimensiones 155 × 235 × 23 mm   ·   739 g
Lengua Inglés  
Colaborador J.T. Schwartz

Mere med samme udgiver

Ver todo de Domenico Cantone ( Ej. Paperback Book , Hardcover Book y Book )