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: 180.99 EUR
Availability: OutOfStock
Author: Domenico Cantone

Cena

€ 180,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 8. - 22. jūl.

Mūsu klienti saka:

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

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Pieejams arī kā:

Paperback Book

Softcover reprint of the original 1st ed. 2001 edition

(2011) € 152,99

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

Mediji	Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku)
Izlaists	2001. gada 26. jūnijs
ISBN13	9780387951973
Izdevēji	Springer-Verlag New York Inc.
Lapas	409
Izmēri	155 × 235 × 23 mm · 739 g
Valoda	Angļu
Ieguldītājs	J.T. Schwartz