Αγαπητοί μας πελάτες, θα θέλαμε να σας ενημερώσουμε ότι η τηλεφωνική υποστήριξη δεν είναι διαθέσιμη σήμερα. Θα εξετάσουμε τα αιτήματά σας την επόμενη εργάσιμη ημέρα. Σας ευχαριστούμε για την κατανόησή σας.
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια.
Δημιουργία δωρεάν λογαριασμού
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 €
Σημείο Elta 3.99 €
Elta 4.49 €
ACS 4.99 €
Box Now 3.99 €
Σημείο ACS 3.99 €
Επικοινωνία
Πώς να κάνετε αγορές;
Βοήθεια
Παράδοση
DHL courier 9.99 €
Σημείο Elta 3.99 €
Elta 4.49 €
ACS 4.99 €
Box Now 3.99 €
Σημείο ACS 3.99 €
Δωρεάν αποστολή με Box Now άνω των 69.99 €
Οδηγός αγορών
Είμαστε στη διάθεσή σας!
210 2602819
Ο λογαριασμός μου
▸
Άδειο :-(
0
Αγαπητοί μας πελάτες, θα θέλαμε να σας ενημερώσουμε ότι η τηλεφωνική υποστήριξη δεν είναι διαθέσιμη σήμερα. Θα εξετάσουμε τα αιτήματά σας την επόμενη εργάσιμη ημέρα. Σας ευχαριστούμε για την κατανόησή σας.
Interactive Theorem Proving
Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Γλώσσα
Αγγλική
Αγγλική
Βιβλίο
Χαρτόδετο
This book constitutes the refereed proceedings of the Second International Conference on Interactive...
Πλήρης περιγραφή
Κωδικός Libristo: 01658528
?
141 b
141 b
58.54
€
Σε εξωτερική αποθήκη σε μικρές ποσότητες
Αποστέλλουμε σε 13-18 ημέρες
Παράδοση στην Ελλάδα
Παράδοση στην Ελλάδα
Έως 30 ημέρες για επιστροφή
Οι πελάτες αγόρασαν επίσης
/
Χαρτόδετο
9.51
€
/
Χαρτόδετο
44.56
€
/
Χαρτόδετο
16.20
€
/
Χαρτόδετο
12.15
€
This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. §The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.
Ηθοποιός
&
Πολύγλωσση
EWA KASP
για
Αναπαραγωγή βίντεο
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.
Πληροφορίες για το βιβλίο
Πλήρες όνομα
Interactive Theorem Proving
Συγγραφέας
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Γλώσσα
Αγγλική
Αγγλική
Βιβλιοδεσία
Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης
2011
Αριθμός σελίδων
383
EAN
9783642228629
ISBN
3642228623
Κωδικός Libristo
01658528
ΕΕκδοτικός οίκος
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος
605
Διαστάσεις
155 x 235 x 23
Κατηγορία
Technology, Engineering, Agriculture
>
Electronics & communications engineering
>
Electronics engineering
>
Automatic control engineering
>
Robotics
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
Computing & Information Technology
>
Computer programming / software engineering
>
Programming & scripting languages: general
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτηΜπορεί να σας ενδιαφέρει
/
Χαρτόδετο
13.67
€
/
Χαρτόδετο
47.81
€
/
Χαρτόδετο
18.43
€
/
Χαρτόδετο
5.87
€
/
Χαρτόδετο
49.93
€
Σύμβουλος βιβλίων Libroamiko
Χρησιμοποιώντας αυτήν τη συνομιλία, επικοινωνείτε με δημιουργική τεχνητή νοημοσύνη. Με τη χρήση της, συμφωνείτε επίσης με την επεξεργασία προσωπικών δεδομένων.
Γεια σας! Είμαι ο Libroamiko, ο σύμβουλος βιβλίων σας.
Πώς μπορώ να σας βοηθήσω;
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;