Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets - Monographs in Computer Science - Domenico Cantone - Livros - Springer-Verlag New York Inc. - 9780387951973 - 26 de junho de 2001

Caso a capa e o título não sejam correspondentes, considere o título como correto

Conte aos seus amigos sobre este item:

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

Name: Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets - Monographs in Computer Science
Price: 170.99 EUR
Availability: OutOfStock
Author: Domenico Cantone

Preço

€ 170,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 17 - 31 de jul

Receba avisos sobre novos lançamentos de Domenico Cantone

O que dizem nossos clientes:

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

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor

Melhor classificação na Trustpilot

Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Também disponível como:

Paperback Book

Softcover reprint of the original 1st ed. 2001 edition

(2011) € 144,49

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

Domenico Cantone

2001 edition

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

Mídia	Livros Hardcover Book (Livro com lombada e capa dura)
Lançado	26 de junho de 2001
ISBN13	9780387951973
Editoras	Springer-Verlag New York Inc.
Páginas	409
Dimensões	155 × 235 × 23 mm · 739 g
Idioma	Inglês
Contribuidor	J.T. Schwartz