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 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Deductive and Declarative Programming

Taal EngelsEngels
Boek Gebonden
Boek Deductive and Declarative Programming P. Padawitz
Libristo-code: 08033766
Uitgeverij Cambridge University Press, oktober 1992
Declarative programs consist of mathematical functions and relations and so they are amenable to for... Volledige beschrijving
? points 206 b
84.88 €
50% kans We doorzoeken de hele wereld Wanneer krijg ik het boek?

Tot 30 dagen retourrecht

Klanten kochten ook

Calderón de la Barca: El mayor encanto, Amor Alejandra Ulla / Boek Gebonden
common.buy 48.08 €
Ein Zeichen der Zuneigung 11 Diana Hesse / Boek Paperback
common.buy 7.75 €
Charumani kavithakal / ചെറുമണി കവിതകൾ Harsha V K / Boek Paperback
common.buy 18.84 €
LAS TUMBAS FENICIAS Y PUNICAS DEL M / Boek Boek
common.buy 8.56 €
Dibujos de poemas Trisán Encuentra / Boek Paperback
common.buy 20.36 €
Ibyci Rhegini Carminum Reliquiae: Quaestionum Lyricarum Libr 1 ... Ibycus / Boek Paperback
common.buy 23.68 €
Das Leben Walthers Von Der Vogelweide (1865) Rudolf Menzel / Boek Paperback
common.buy 35.28 €
Der Sprachschatz Der Sassen: Bd. A-H Heinrich Karl Wilhelm Berghaus / Boek Paperback
common.buy 35.28 €
Les Richesses Hydrauliques Du Maroc Occidental, Reconnaissance Sommaire PENET-P / Boek Paperback
common.buy 15.82 €
Medicina Interna Veterinaria IV Mario Cuesta Mazorra / Boek Paperback
common.buy 68.25 €
Sri Mata Amritanandamayi Devi: A Biography: (Greek Edition) Swami Amritaswarupananda Puri / Boek Paperback
common.buy 15.92 €

Declarative programs consist of mathematical functions and relations and so they are amenable to formal specification and verification. This book emphasizes verification based on logic inference rules, attempting to capture the actual styles and applications of programming.

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 Deductive and Declarative Programming
Auteur P. Padawitz
Taal Engels
Bindwijze Boek - Gebonden
Datum van uitgifte 1992
Aantal pagina's 285
EAN 9780521417235
ISBN 9780521417235
Libristo-code 08033766
Uitgeverij Cambridge University Press
Gewicht 651
Afmetingen 178 x 254 x 17

Categorieën

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling
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

A Summary of the Law Relating to the Granting New Trials in Civil Suits by Courts of Justice in England. John Peter Grant / Boek Paperback
common.buy 21.97 €
TOP
LEGO® NINJAGO®: Dragon Powers (with Dragon Jay minifigure and Katana) Lego® / Spel/speelgoed Speelgoed
common.buy 10.37 €
DC Encyclopedia New Edition DK / Boek Gebonden
common.buy 38.71 €
Translation Tools and Technologies Andrew Rothwell / Boek Paperback
common.buy 56.85 €
Dynamics, Silviculture and Management of Mixed Forests Andres Bravo-Oviedo / E-book Adobe ePub DRM
common.buy 267.38 €
Ramsay in 10 Gordon Ramsay / Boek Gebonden
common.buy 25.20 €
Correspondence, Dispatches and Other Papers of Viscount Castlereagh V5: Second Marquess of Londonderry: Second Series, Military and Miscellaneous Robert Stewart Castlereagh / Boek Paperback
common.buy 41.13 €
600 Basic Words Cartoons Flash Cards Bilingual English Hungarian: Easy learning baby first book with card games like ABC alphabet Numbers Animals to p Kinder Language / Drukwerk Speelkaarten
common.buy 13.30 €
Narwhal's Otter Friend Ben (Author) Clanton / Boek Paperback
common.buy 9.27 €
Fatherless Fanny Maria Edgeworth / Boek Gebonden
common.buy 33.36 €
Rhizosphere: Achievements and Challenges Yves Dessaux / Boek Gebonden
common.buy 205.07 €
Intelligent Automatic Generation Control Hassan Bevrani / Boek Paperback
common.buy 130.15 €
Jungle: A Harrowing True Story of Survival in the Amazon Yossi Ghinsberg / Boek Paperback
common.buy 12.39 €
Day in the Life of a Yorkie Named Zander Robert Randall / Boek Paperback
common.buy 31.25 €
From Pressure to Potential Renae Rollins / Boek Paperback
common.buy 13.10 €
Big English 4 Teacher's eText CD-Rom Christopher Sol Cruz / Digitaal Digitaal cd
common.buy 63.91 €
Weasel Tom David Moxley / Boek Gebonden
common.buy 38.40 €
Turbulent Vortex Flames Khalid Saqr / Boek Paperback
common.buy 60.38 €
History of the Origin, Progress, and Termination of the American War. by C. Stedman, ... in Two Volumes. ... Volume 1 of 2 C. Stedman / Boek Paperback
common.buy 29.33 €
Positive Discipline Roslyn Duffy / Boek Paperback
common.buy 15.92 €
The history of Sir Charles Grandison, and the Honourable Miss Byron: included memoirs of a noble Italian family. In a series of letters. Formerly pu Samuel Richardson / Boek Paperback
common.buy 17.43 €
Navigator's Veni-Mecum, or a Complete System of the Art of Navigation Draper / Boek Paperback
common.buy 21.97 €
History of the Ohio Falls Cities and their counties, with illustrations and biographical sketches. Anonymous / Boek Paperback
common.buy 37.19 €
Blight. [A Novel.] Eveline Louisa Mitchell Farwell / Boek Paperback
common.buy 22.78 €

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?