Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Set Theory for Computing

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

From Decision Procedures to Declarative Programming with Sets

Domenico Cantone

Eugenio Omodeo

Alberto Policriti

Language

English

Book Hardback

Libristo code: 05248019

Publishers Springer-Verlag New York Inc., June 2001

Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic man... Full description

Libristo code: 05248019

436 b

65 390 Ft

Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

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

Adobe ePub DRM

2 920 Ft

Notas sobre el cinematógrafo Robert Bresson

Paperback

11 463 Ft

A frec de pell Peris Garcia

Paperback

7 385 Ft

Am toten Punkt Johannes Schlaf

Paperback

9 587 Ft

Loving Madness Lyna Reys

Paperback

4 016 Ft

Sistema della moda Roland Barthes

Paperback

12 436 Ft

Πιάνοντας Πεταλούδες Nikoletta Samoili

Paperback

6 143 Ft

IMPORTANCIA DE LLAMARSE ERNESTO EL WILDE OSCAR

Paperback

3 941 Ft

Gramática alemana Eggelte

Paperback

8 330 Ft

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

Paperback

2 637 Ft

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

Paperback

5 467 Ft

Philosophic Background of Modern Hatha-Yoga Tradition Maria Nikolaeva

Paperback

6 171 Ft

Kaiserdom in Frankfurt am Main Carl Wolff

Paperback

6 832 Ft

Chroniken der deutschen Stadte n. A.

Paperback

10 353 Ft

Aves marinas : una guía de identificación Peter Harrison

Paperback

21 395 Ft

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

Paperback

4 659 Ft

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

Paperback

5 245 Ft

Scripta Quae Manserunt Omnia, Pb Marcus Tullius Cicero

Book

6 908 Ft

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.