10% de desconto

Set Theory For Computing eBook

From Decision Procedures To Declarative Programming With Sets

de Domenico Cantone, Alberto Policriti e Eugenio Omodeo
idioma: inglês
Editor: SPRINGER NEW YORK, junho de 2013 ‧
171,59€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
Presents a 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.

Set Theory For Computing

From Decision Procedures To Declarative Programming With Sets

de Domenico Cantone, Alberto Policriti e Eugenio Omodeo

Propriedade Descrição
ISBN: 9781475734522
Editor: SPRINGER NEW YORK
Data de Lançamento: junho de 2013
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Coleção: Monographs In Computer Science
Classificação Temática: eBooks em Inglês > Ciências Exatas e Naturais > Matemática
eBooks em Inglês > Informática > Outras Aplicações
EAN: 9781475734522

LIVROS DA MESMA COLEÇÃO