Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets - Monographs in Computer Science - Domenico Cantone - Knihy - Springer-Verlag New York Inc. - 9780387951973 - 26. júna 2001
V prípade, že obal a názov nesedia, platí názov

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

Cena
€ 174,99

Objednané zo vzdialeného skladu

Očakávané doručenie 21. sep - 5. okt
Dostávajte upozornenia na nové nahrávky interpreta Domenico Cantone

Naši zákazníci hovoria:

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:

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     Hardcover Book   (Kniha s pevnou väzbou a obalom)
Vydané 26. júna 2001
ISBN13 9780387951973
Vydavatelia Springer-Verlag New York Inc.
Strany 409
Rozmery 155 × 235 × 23 mm   ·   739 g
Jazyk Angličtina  
Prispievateľ J.T. Schwartz

Viac od toho istého vydavateľa

Pozrieť všetko od Domenico Cantone