Domenico Cantone
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets - Monographs in Computer Science Domenico Cantone Softcover reprint of the original 1st ed. 2001 edition

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

Cena

€ 178,49

Objednané zo vzdialeného skladu

Očakávané doručenie 7. - 21. aug

Dostávajte upozornenia na nové nahrávky interpreta Domenico Cantone

Naši zákazníci hovoria:

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

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa

Najvyššie hodnotenie na Trustpilot

Pridať do vášho zoznamu prianí na iMusic

Not rated yet

Tiež dostupné ako:

Hardcover Book

2001 edition

(2001) € 177,99

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

Domenico Cantone

Softcover reprint of the original 1st ed. 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édium	Knihy Paperback Book (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané	21. septembra 2011
ISBN13	9781441929051
Vydavatelia	Springer-Verlag New York Inc.
Strany	409
Rozmery	155 × 235 × 22 mm · 594 g
Jazyk	Angličtina