Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Set Theory for Computing

Name: Set Theory for Computing
Brand: Springer-Verlag New York Inc.
SKU: 05248019
Price: 183.76 EUR
Availability: InStock
Author: Domenico Cantone
ISBN: 9780387951973

From Decision Procedures to Declarative Programming with Sets

Domenico Cantone

Eugenio Omodeo

Alberto Policriti

Език

Английски език

Книга С твърди корици

Код Либристо: 05248019

Издателство Springer-Verlag New York Inc., юни 2001

Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic man... Цялото описание

Код Либристо: 05248019

444 b

183.76 €

359.40 лв

Външен склад в ограничено количество Изпращаме след 11-15 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Is Sahibl?ri ucun Muasir Od?nisli Reklamciliq B?l?dcisi Neil King

Adobe ePub DRM

8.33 € 16.29 лв

Notas sobre el cinematógrafo Robert Bresson

С меки корици

32.24 € 63.06 лв

Come vivere con un gatto tutto matto e amarlo alla follia Elettra Bianchi

С меки корици

13.92 € 27.22 лв

Philosophic Background of Modern Hatha-Yoga Tradition Maria Nikolaeva

С меки корици

15.73 € 30.77 лв

Kaiserdom in Frankfurt am Main Carl Wolff

С меки корици

19.92 € 38.97 лв

Chroniken der deutschen Stadte n. A.

С меки корици

30.23 € 59.12 лв

Le mystere de la chambre jaune - Livre + audio online Gaston Leroux

С меки корици

8.64 € 16.90 лв

Gramática alemana Eggelte

С меки корици

26.50 € 51.83 лв

Am toten Punkt Johannes Schlaf

С меки корици

28.00 € 54.76 лв

Loving Madness Lyna Reys

С меки корици

11.85 € 23.17 лв

4 Blutgruppen, Tipps für die Blutgruppe A Peter J. D'Adamo

С меки корици

11.59 € 22.67 лв

»Ich sehne mich sehr nach Deinen blauen Briefen« Barbara Wiedemann

С меки корици

15.32 € 29.96 лв

Sistema della moda Roland Barthes

С меки корици

36.07 € 70.56 лв

Scripta Quae Manserunt Omnia, Pb Marcus Tullius Cicero

Книга

20.08 € 39.27 лв

IMPORTANCIA DE LLAMARSE ERNESTO EL WILDE OSCAR

С меки корици

9.88 € 19.33 лв

Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. Mastering today's variety of systems with crisp, formal tools is a prerequisite for a high degree of control over sets and aggregates. The many algorithmic methods and deductive techniques in this book offer readers a clear view of the use of set-theoretic notions in such critical areas as specification of problems, data types, and solution methods; algorithmic program verification, and automated deduction. The rigorous and largely self-contained style of presentation addresses readers wanting to complement their set intuition with the ability to exploit it in specification and verification and master it by symbolic, logically based techniques and methods. This book will be of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.