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

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Σκληρόδετο
Βιβλίο Interactive Theorem Proving and Program Development Yves Bertot
Κωδικός Libristo: 02129535
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Μάιος 2004
Coq is an interactive proof assistant for the development of mathematical theories and formally cert... Πλήρης περιγραφή
? points 292 b
120.90 €
Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 10-13 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Interactive Theorem Proving and Program Development Yves Bertot / Βιβλίο Χαρτόδετο
common.buy 85.69 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Βιβλίο Χαρτόδετο
common.buy 58.47 €
Data Visualization with Excel Dashboards and Reports Dick Kusleika / Βιβλίο Χαρτόδετο
common.buy 33.88 €
Interactive Video Riad Hammoud / Βιβλίο Χαρτόδετο
common.buy 102.99 €
Interactive Theorem Proving Matt Kaufmann / Βιβλίο Χαρτόδετο
common.buy 120.80 €
Interactive Theorem Proving Marko Van Eekelen / Βιβλίο Χαρτόδετο
common.buy 58.47 €
Interactive Theorem Proving Lennart Beringer / Βιβλίο Χαρτόδετο
common.buy 58.47 €
Deyrolle: French Botanical Art Emmanuelle Polle / Βιβλίο Χαρτόδετο
common.buy 21.34 €
Dance of the Serpents Oscar de Muriel / Βιβλίο Χαρτόδετο
common.buy 11.83 €
Relentless: 12 Rounds to Success Eddie Hearn / Βιβλίο Σκληρόδετο
common.buy 26.09 €
Recollections of My Non-Existence / Βιβλίο Σκληρόδετο
common.buy 14.16 €
The Good Ship Earth: A Survey Of World Problems (1913) Herbert Quick / Βιβλίο Χαρτόδετο
common.buy 41.17 €
Τοπ
Lost Spells Robert Macfarlane / Βιβλίο Σκληρόδετο
common.buy 14.16 €
Complete Guide to Machine Knitting: From the Thread to the Finished Garment TARANTINO LUCIA CONS / Βιβλίο Χαρτόδετο
common.buy 35.50 €
Fighters Across Frontiers Ismee Tames / Βιβλίο Σκληρόδετο
common.buy 41.07 €
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns V Art / Βιβλίο Χαρτόδετο
common.buy 7.07 €
Cute Hand Lettering / Βιβλίο Χαρτόδετο
common.buy 13.95 €
Lego train adventure rhyming story book: riding a Lego train Kyle K / Βιβλίο Χαρτόδετο
common.buy 10.82 €
Adventures of Nio the Skunk: The Unknown Anticio T. Duke / Βιβλίο Χαρτόδετο
common.buy 10.82 €
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists Martina Sprague / Βιβλίο Χαρτόδετο
common.buy 12.74 €
Τοπ
In the Ruins of Neoliberalism Wendy Brown / Βιβλίο Χαρτόδετο
common.buy 27.41 €
Layout Essentials Revised and Updated Beth Tondreau / Βιβλίο Χαρτόδετο
common.buy 29.84 €
Τοπ
Building Microservices Sam Newman / Βιβλίο Χαρτόδετο
common.buy 63.63 €
Across the Isthmus to California in '52 Sarah Merriam Brooks / Βιβλίο Χαρτόδετο
common.buy 12.64 €

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

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

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

Πλήρες όνομα Interactive Theorem Proving and Program Development
Συγγραφέας Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Σκληρόδετο
Ημερομηνία έκδοσης 2004
Αριθμός σελίδων 472
EAN 9783540208549
ISBN 3540208542
Κωδικός Libristo 02129535
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 912
Διαστάσεις 163 x 239 x 36

Κατηγορία

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Είσοδος

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

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

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

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

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