Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.49 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Set Theory for Computing Domenico Cantone
Libristo-code: 05248019
Uitgeverij Springer-Verlag New York Inc., juni 2001
Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic man... Volledige beschrijving
? points 425 b
175.27 €
In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Is Sahibl?ri ucun Muasir Od?nisli Reklamciliq B?l?dcisi Neil King / E-book Adobe ePub DRM
common.buy 7.97 €
Notas sobre el cinematógrafo Robert Bresson / Boek Gebonden (paperback)
common.buy 30.89 €
Come vivere con un gatto tutto matto e amarlo alla follia Elettra Bianchi / Boek Gebonden (paperback)
common.buy 13.92 €
Philosophic Background of Modern Hatha-Yoga Tradition Maria Nikolaeva / Boek Gebonden (paperback)
common.buy 15.74 €
Kaiserdom in Frankfurt am Main Carl Wolff / Boek Gebonden (paperback)
common.buy 18.77 €
Chroniken der deutschen Stadte n. A. / Boek Gebonden (paperback)
common.buy 28.46 €
Le mystere de la chambre jaune - Livre + audio online Gaston Leroux / Boek Gebonden (paperback)
common.buy 8.17 €
Gramática alemana Eggelte / Boek Gebonden (paperback)
common.buy 25.33 €
Am toten Punkt Johannes Schlaf / Boek Gebonden (paperback)
common.buy 26.34 €
Loving Madness Lyna Reys / Boek Gebonden (paperback)
common.buy 11.30 €
4 Blutgruppen, Tipps für die Blutgruppe A Peter J. D'Adamo / Boek Gebonden (paperback)
common.buy 10.89 €
»Ich sehne mich sehr nach Deinen blauen Briefen« Barbara Wiedemann / Boek Gebonden (paperback)
common.buy 14.43 €
Sistema della moda Roland Barthes / Boek Gebonden (paperback)
common.buy 34.32 €
Scripta Quae Manserunt Omnia, Pb Marcus Tullius Cicero / Boek Boek
common.buy 18.97 €
IMPORTANCIA DE LLAMARSE ERNESTO EL WILDE OSCAR / Boek Gebonden (paperback)
common.buy 9.88 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Set Theory for Computing
Auteur Domenico Cantone, Eugenio Omodeo, Alberto Policriti
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2001
Aantal pagina's 409
EAN 9780387951973
ISBN 0387951970
Libristo-code 05248019
Uitgeverij Springer-Verlag New York Inc.
Gewicht 851
Afmetingen 155 x 235 x 25

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Verzamelingenleer
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Wiskunde en wetenschap > Wiskunde > Toegepaste wiskunde
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Burn Rehabilitation, An Issue of Physical Medicine and Rehabilitation Clinics Peter Esselman / Boek Gebonden (harde band)
common.buy 103.48 €
The Holy Qur'an for Kids - Juz Tabarak: A Textbook for School Children with English and Arabic Text Yahiya Emerick / Boek Gebonden (paperback)
common.buy 11.20 €
TOP
Gold Experience 2nd Edition C1 Workbook Lynda Edwards / Boek Gebonden (paperback)
common.buy 16.35 €
Last Wolf LEILAH NICHOLS / Boek Gebonden (harde band)
common.buy 26.24 €
Breaching the Peace Sarah Katharine Cox / Boek Gebonden (paperback)
common.buy 22.81 €
Efficacy of Neem Tree Extract on Cabbage Aphids' Control in the Field Evaline Stella Amongi / Boek Gebonden (paperback)
common.buy 25.84 €
Maigret's Patience Georges Simenon / Boek Gebonden (paperback)
common.buy 11.80 €
The Hanged Man, 2 K D Edwards / Boek Gebonden (paperback)
common.buy 21.09 €
The Decline of the West, Two Volumes in One Oswald Spengler / Boek Gebonden (harde band)
common.buy 76.93 €
NES Special Education Secrets Study Guide: NES Test Review for the National Evaluation Series Tests Nes Exam Secrets Test Prep / Boek Gebonden (paperback)
common.buy 64.00 €
As We Go Through Changes Augustine Daniel / Boek Gebonden (paperback)
common.buy 24.53 €
Efficient Hydrocarbon Reactions in Organic Synthesis Ruimao Hua / Boek Gebonden (harde band)
common.buy 167.09 €
Love Ain't No Joke Valerie Mitchell / Boek Gebonden (paperback)
common.buy 22.20 €
Modern Geography ... Abridged from the Larger Work. Samuel Vince / Boek Gebonden (paperback)
common.buy 36.34 €
To Z Mysteries Super Edition #6 RON ROY / Boek Gebonden (paperback)
common.buy 6.25 €
Quest John G Neihardt / Boek Gebonden (harde band)
common.buy 33.61 €
A Virtual Profession in the American Empire Maria Dyball / Boek Gebonden (paperback)
common.buy 79.76 €
Wordt verwacht
Stages of Cancer Development Paraic Kenny / Boek Gebonden (harde band)
common.buy 35.94 €
Synergetic Computers and Cognition Hermann Haken / Boek Gebonden (paperback)
common.buy 51.59 €
Easy Italian Phrase Book Talk in Italian / Boek Gebonden (paperback)
common.buy 12.81 €
Home Again for Christmas Emily Stone / E-book Adobe ePub DRM
common.buy 1.10 €
Understanding Market Credit and Operational Risk - The Value at Risk Approach Linda Allen / Boek Gebonden (harde band)
common.buy 66.23 €
Beneath the Mask - An Introduction to Theories of Personality 8e Christopher F. Monte / Boek Gebonden (harde band)
common.buy 250.19 €
Novartis Foundation Symposium 240 - The Tumour Microenvironment - Causes and Consequences of Hypoxia and Acidity Jamie A. Goode / Boek Gebonden (harde band)
common.buy 224.14 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?