Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 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.76 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

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

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 121.00 €
Τοπ
Let Over Lambda Doug Hoyte / Βιβλίο Χαρτόδετο
common.buy 43.03 €
Japanese Management in the Low Growth Era Daniel Dirks / Βιβλίο Χαρτόδετο
common.buy 103.07 €
Mechanical Forces: Their Effects on Cells and Tissues Keith J. Gooch / Βιβλίο Χαρτόδετο
common.buy 51.73 €
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Βιβλίο Χαρτόδετο
common.buy 33.20 €
An Introduction to Classical and Modal Logics Adam Bjorndahl / Βιβλίο Χαρτόδετο
common.buy 38.06 €
Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus / Βιβλίο Σκληρόδετο
common.buy 28.24 €
Τοπ
The Good Karma Tarot Kerry Ward / Έντυπα Κάρτες
common.buy 20.14 €
Armenian History Captivating History / Βιβλίο Χαρτόδετο
common.buy 16.70 €
Τοπ
Berserk Deluxe Volume 7 Kentaro Miura / Βιβλίο Σκληρόδετο
common.buy 40.60 €
Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey / Βιβλίο Χαρτόδετο
common.buy 21.15 €
Beyond the Trees: A Journey Alone Across Canada's Arctic Adam Shoalts / Βιβλίο Χαρτόδετο
common.buy 14.07 €
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge / Βιβλίο Σκληρόδετο
common.buy 14.47 €
Τοπ
Tales from the Loop Simon Stalenhag / Βιβλίο Σκληρόδετο
common.buy 28.55 €
Τοπ
Art of Noticing Rob Walker / Βιβλίο Σκληρόδετο
common.buy 18.12 €
Understanding Central Europe Marcin Moskalewicz / Βιβλίο Χαρτόδετο
common.buy 68.75 €
Τοπ
Infinite Powers Steven (Author) Strogatz / Βιβλίο Χαρτόδετο
common.buy 11.84 €
Τοπ
RaW Hero, Vol. 1 Akira Hiramoto / Βιβλίο Χαρτόδετο
common.buy 12.85 €
Beginning x64 Assembly Programming Jo Van Hoey / Βιβλίο Χαρτόδετο
common.buy 36.34 €
Programming with Types Vlad Riscutia / Βιβλίο Χαρτόδετο
common.buy 55.48 €
Einstein's Fridge Paul Sen / Βιβλίο Χαρτόδετο
common.buy 10.82 €
Practical Engine Airflow Baechtel John Baechtel / Βιβλίο Χαρτόδετο
common.buy 34.22 €
Poker Satellite Strategy Dara O'Kearney / Βιβλίο Χαρτόδετο
common.buy 24.60 €
Chinese Girls: Hot Sexy Chinese Lingerie Girls Models Pictures Photo Art Lover / Βιβλίο Χαρτόδετο
common.buy 16.50 €

Είσοδος

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

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

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

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

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;