Έλεγχος κατάστασης παραγγελίας
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Πώς να κάνετε αγορές;

Types for Proofs and Programs

International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Types for Proofs and Programs Jean-Christophe Filliatre
Κωδικός Libristo: 01561624
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Ιανουάριος 2006
The 17 revised full papers presented here cover all current issues of formal reasoning and computer... Πλήρης περιγραφή
? points 141 b
58.40 €
Εξωτερικός αποθηκευτικός χώρος σε μικρές ποσότητες Αποστέλλουμε σε 13-18 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Der Kurator im Zeitalter der neuen Medienkunst Sandra Kuberski / Βιβλίο Χαρτόδετο
common.buy 14.44 €
Assistance visuelle des malvoyants par traitement d'images adaptatif Benoit Froissard / Βιβλίο Χαρτόδετο
common.buy 43.54 €
Petite Trotteuse Michele Lesbre / Βιβλίο Χαρτόδετο
common.buy 11.51 €
Poil de Carotte, Monsieur Vernet, Le Plaisir de Rompre, Le Pain de Menage, La Bigote Renard-J / Βιβλίο Χαρτόδετο
common.buy 18.28 €
Zukunftsfahiges Leitbild oder veraltetes Schlagwort? Evelyn Ehle / Βιβλίο Χαρτόδετο
common.buy 16.16 €
Προετοιμαζουμε
Color Brain / Παιχνίδι/Επιτραπέζιο παιχνίδι Επιτραπέζιο παιχνίδι
common.buy 27.17 €
De L'Influence Du Bien Etre Materiel Sur La Moralite Des Peuples Modernes (1854) Edouard Mercier / Βιβλίο Χαρτόδετο
common.buy 36.17 €
Etude exploratoire sur les barrières à la mise en oeuvre selon le processus de son application Mourad Sallami / Βιβλίο Χαρτόδετο
common.buy 50.72 €
processo romano-canonico classico. Linee di svolgimento e caratteri fondamentali Andrea Padovani / Βιβλίο Χαρτόδετο
common.buy 26.06 €

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

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

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

Πλήρες όνομα Types for Proofs and Programs
Συγγραφέας Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2006
Αριθμός σελίδων 280
EAN 9783540314288
ISBN 3540314288
Κωδικός Libristo 01561624
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 910
Διαστάσεις 155 x 235 x 17

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

The Omega's Candy Shop / Βιβλίο Χαρτόδετο
common.buy 15.15 €
Construction Workers Emma Less / Βιβλίο Σκληρόδετο
common.buy 30.71 €
Νέα
XLVIII Mexican Conference on Biomedical Engineering Esmeralda Zuñiga-Aguilar / Βιβλίο Χαρτόδετο
common.buy 205.53 €
Memoir Of Keopuolani, Late Queen Of The Sandwich Islands (1825) William Richards / Βιβλίο Χαρτόδετο
common.buy 20.20 €
Economic Evaluation of Cancer Drugs Khan / Βιβλίο Σκληρόδετο
common.buy 180.17 €
Technology and Employment Practices in Developing Countries Hubert Schmitz / Βιβλίο Σκληρόδετο
common.buy 174.81 €
Justice Will Prevail: A Lee Bell Mystery Barb Nagel / Βιβλίο Χαρτόδετο
common.buy 12.72 €
Works of Elizabeth Gaskell, Part I Vol 3 SHATTOCK / Βιβλίο Χαρτόδετο
common.buy 68.60 €
Treatise of the Suffocation of the Matrix, Commonly Called, the Fits of the Mother. Wherein Are Not Only Explained the Cause, Progress, and Danger of M.D. Lockman / Βιβλίο Χαρτόδετο
common.buy 13.43 €
Experimental Philosophy and its Critics Joachim Horvath / Βιβλίο Σκληρόδετο
common.buy 215.84 €
Chemical Evolution of the Universe Royal Society of Chemistry / Βιβλίο Σκληρόδετο
common.buy 255.55 €

Είσοδος

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

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

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

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

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