Έλεγχος κατάστασης παραγγελίας
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: 02129635
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Δεκέμβριος 2010
A practical introduction to the development of proofs and certified programs using Coq. §An invaluab...
? points 207 b
85.69 €
Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Lambda Calculus with Types Henk Barendregt / Βιβλίο Σκληρόδετο
common.buy 114.62 €
Types and Programming Languages Pierce / Βιβλίο Σκληρόδετο
common.buy 104.51 €
Four Pillars of Geometry John Stillwell / Βιβλίο Σκληρόδετο
common.buy 40.46 €
Computer Networks, Global Edition Andrew Tanenbaum / Βιβλίο Χαρτόδετο
common.buy 108.35 €
Τοπ
Rust For Rustaceans Jon Gjengset / Βιβλίο Χαρτόδετο
common.buy 34.59 €
Τοπ
Prisma Club Prisma Team / Βιβλίο Χαρτόδετο
common.buy 28.93 €

A practical introduction to the development of proofs and certified programs using Coq. §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, Pierre Castéran, G. Huet, C. Paulin-Mohring
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2010
Αριθμός σελίδων 472
EAN 9783642058806
ISBN 3642058809
Κωδικός Libristo 02129635
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 748
Διαστάσεις 155 x 235 x 26

Κατηγορία

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 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Interactive Theorem Proving and Program Development Yves Bertot / Βιβλίο Σκληρόδετο
common.buy 120.90 €
Let Over Lambda Doug Hoyte / Βιβλίο Χαρτόδετο
common.buy 42.99 €
A Lambda Calculus Satellite Giulio Manzonetto / Βιβλίο Χαρτόδετο
common.buy 34.69 €
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Βιβλίο Χαρτόδετο
common.buy 33.18 €
Interactive Television Demystified Jerry Whitaker / Βιβλίο Χαρτόδετο
common.buy 48.86 €
Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus / Βιβλίο Σκληρόδετο
common.buy 28.22 €
An Introduction to Classical and Modal Logics Adam Bjorndahl / Βιβλίο Χαρτόδετο
common.buy 38.03 €
Understanding Central Europe Marcin Moskalewicz / Βιβλίο Χαρτόδετο
common.buy 65.86 €
Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey / Βιβλίο Χαρτόδετο
common.buy 21.14 €
Τοπ
Berserk Deluxe Volume 7 Kentaro Miura / Βιβλίο Σκληρόδετο
common.buy 40.56 €
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge / Βιβλίο Σκληρόδετο
common.buy 14.46 €
Meditation For Beginners: Meditation for Life: How to Meditate! (meditation for beginners, meditation, meditation techniques, how to meditate, m Michelle Gretta / Βιβλίο Χαρτόδετο
common.buy 13.75 €
Τοπ
Tales from the Loop Simon Stalenhag / Βιβλίο Σκληρόδετο
common.buy 28.83 €
Τοπ
The Good Karma Tarot Kerry Ward / Έντυπα Κάρτες
common.buy 20.12 €
Armenian History Captivating History / Βιβλίο Χαρτόδετο
common.buy 16.68 €
Adobe InDesign CC Classroom in a Book (2019 Release) Kelly Kordes Anton / Βιβλίο Χαρτόδετο
common.buy 54.83 €
Τοπ
Infinite Powers Steven (Author) Strogatz / Βιβλίο Χαρτόδετο
common.buy 10.41 €
Τοπ
RaW Hero, Vol. 1 Akira Hiramoto / Βιβλίο Χαρτόδετο
common.buy 12.84 €
Beginning x64 Assembly Programming Jo Van Hoey / Βιβλίο Χαρτόδετο
common.buy 36.31 €
Programming with Types Vlad Riscutia / Βιβλίο Χαρτόδετο
common.buy 54.22 €
Einstein's Fridge Paul Sen / Βιβλίο Χαρτόδετο
common.buy 10.82 €
Practical Engine Airflow Baechtel John Baechtel / Βιβλίο Χαρτόδετο
common.buy 34.19 €
Poker Satellite Strategy Dara O'Kearney / Βιβλίο Χαρτόδετο
common.buy 24.58 €
Τοπ
Art of Noticing Rob Walker / Βιβλίο Σκληρόδετο
common.buy 15.98 €

Είσοδος

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

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

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

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

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