Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Set Theory for Computing

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

From Decision Procedures to Declarative Programming with Sets

Domenico Cantone

Eugenio Omodeo

Alberto Policriti

Sprache

Englisch

Buch Hardcover

Libristo-Code: 05248019

Verlag Springer-Verlag New York Inc., Juni 2001

Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic man... Vollständige Beschreibung

Libristo-Code: 05248019

444 b

181.49 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Notas sobre el cinematógrafo Robert Bresson

Broschur

31.79 €

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

Adobe ePub DRM

8.29 €

Am toten Punkt Johannes Schlaf

Broschur

29.50 €

Sistema della moda Roland Barthes

Broschur

35.59 €

Gramática alemana Eggelte

Broschur

40.29 €

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

Broschur

11.29 €

Scripta Quae Manserunt Omnia, Pb Marcus Tullius Cicero

Buch

19.89 €

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

Broschur

16.00 €

Philosophic Background of Modern Hatha-Yoga Tradition Maria Nikolaeva

Broschur

16.39 €

Kaiserdom in Frankfurt am Main Carl Wolff

Broschur

20.90 €

Chroniken der deutschen Stadte n. A.

Broschur

31.90 €

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

Broschur

12.00 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Set Theory for Computing

Autor Domenico Cantone, Eugenio Omodeo, Alberto Policriti

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2001

Anzahl der Seiten 409

EAN 9780387951973

ISBN 0387951970

Libristo-Code 05248019

Verlag Springer-Verlag New York Inc.

Gewicht 851

Abmessungen 155 x 235 x 25

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mengenlehre

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

Mathematik und Naturwissenschaften > Mathematik > Angewandte Mathematik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert