Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Σημείο ACS 4.99 € Box Now 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

Deductive and Declarative Programming

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Σκληρόδετο
Βιβλίο Deductive and Declarative Programming P. Padawitz
Κωδικός Libristo: 08033766
ΕΕκδοτικός οίκος Cambridge University Press, Οκτώβριος 1992
Declarative programs consist of mathematical functions and relations and so they are amenable to for... Πλήρης περιγραφή
? points 206 b
85.08 €
50% πιθανότητα θα ψάξουμε όλο τον κόσμο Πότε θα λάβω το βιβλίο;
Ελλάδα Παράδοση στην Ελλάδα

30 ημέρες για την επιστροφή των προϊόντων

Οι πελάτες αγόρασαν επίσης

Sri Mata Amritanandamayi Devi: A Biography: (Greek Edition) Swami Amritaswarupananda Puri / Βιβλίο Χαρτόδετο
common.buy 16.36 €
Medicina Interna Veterinaria IV Mario Cuesta Mazorra / Βιβλίο Χαρτόδετο
common.buy 68.40 €
Dibujos de poemas Trisán Encuentra / Βιβλίο Χαρτόδετο
common.buy 20.50 €
Ein Zeichen der Zuneigung 11 Diana Hesse / Βιβλίο Χαρτόδετο
common.buy 7.67 €

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.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Deductive and Declarative Programming
Συγγραφέας P. Padawitz
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Σκληρόδετο
Ημερομηνία έκδοσης 1992
Αριθμός σελίδων 285
EAN 9780521417235
ISBN 9780521417235
Κωδικός Libristo 08033766
ΕΕκδοτικός οίκος Cambridge University Press
Βάρος 651
Διαστάσεις 178 x 254 x 17

Κατηγορία

Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer programming / software engineering
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Turbulent Vortex Flames Khalid Saqr / Βιβλίο Χαρτόδετο
common.buy 60.52 €
Dynamics, Silviculture and Management of Mixed Forests Andres Bravo-Oviedo / ebook Adobe ePub DRM
common.buy 266.37 €
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 / Έντυπα Κάρτες
common.buy 13.73 €
Narwhal's Otter Friend Ben (Author) Clanton / Βιβλίο Χαρτόδετο
common.buy 8.68 €
Ken's Kitchen Garden: Creating a Life of Plenty: One Home's Journey to Self Reliance Kenneth Wright / Βιβλίο Χαρτόδετο
common.buy 39.20 €
Fatherless Fanny Maria Edgeworth / Βιβλίο Σκληρόδετο
common.buy 34.04 €
A Summary of the Law Relating to the Granting New Trials in Civil Suits by Courts of Justice in England. John Peter Grant / Βιβλίο Χαρτόδετο
common.buy 22.83 €
Intelligent Automatic Generation Control Hassan Bevrani / Βιβλίο Χαρτόδετο
common.buy 127.11 €
Τοπ
Jungle: A Harrowing True Story of Survival in the Amazon Yossi Ghinsberg / Βιβλίο Χαρτόδετο
common.buy 12.82 €
From Pressure to Potential Renae Rollins / Βιβλίο Χαρτόδετο
common.buy 13.94 €
Wherever My Savior Leads Me Amy Sticha / Βιβλίο Σκληρόδετο
common.buy 30.71 €
It's All True David Freeman / Βιβλίο Χαρτόδετο
common.buy 18.08 €
Laugh If You Like Lurma Rackley / Βιβλίο Χαρτόδετο
common.buy 19.80 €
Blood Master Jennifer Loiske / Βιβλίο Χαρτόδετο
common.buy 13.73 €
Jenny, a Poem, by H. M. Faustinetti. [with Illustrations. Preceded by an Invitation-Card from S. R. Bennett.] H Mer Michael Faustinetti / Βιβλίο Χαρτόδετο
common.buy 17.07 €
Blight. [A Novel.] Eveline Louisa Mitchell Farwell / Βιβλίο Χαρτόδετο
common.buy 23.54 €
History of the Ohio Falls Cities and their counties, with illustrations and biographical sketches. Anonymous / Βιβλίο Χαρτόδετο
common.buy 38.09 €
Navigator's Veni-Mecum, or a Complete System of the Art of Navigation Draper / Βιβλίο Χαρτόδετο
common.buy 22.83 €
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 / Βιβλίο Χαρτόδετο
common.buy 18.08 €
History of the Origin, Progress, and Termination of the American War. by C. Stedman, ... in Two Volumes. ... Volume 1 of 2 C. Stedman / Βιβλίο Χαρτόδετο
common.buy 33.74 €
Weasel Tom David Moxley / Βιβλίο Σκληρόδετο
common.buy 39.20 €
Big English 4 Teacher's eText CD-Rom Christopher Sol Cruz / Digital Digital CD
common.buy 56.18 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo