Αγαπητοί μας πελάτες, θα θέλαμε να σας ενημερώσουμε ότι η τηλεφωνική υποστήριξη δεν είναι διαθέσιμη σήμερα. Θα εξετάσουμε τα αιτήματά σας την επόμενη εργάσιμη ημέρα. Σας ευχαριστούμε για την κατανόησή σας.
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια.
Δημιουργία δωρεάν λογαριασμού
Δωρεάν αποστολή με 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
Αγαπητοί μας πελάτες, θα θέλαμε να σας ενημερώσουμε ότι η τηλεφωνική υποστήριξη δεν είναι διαθέσιμη σήμερα. Θα εξετάσουμε τα αιτήματά σας την επόμενη εργάσιμη ημέρα. Σας ευχαριστούμε για την κατανόησή σας.
Types for Proofs and Programs
International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Γλώσσα
Αγγλική
Αγγλική
Βιβλίο
Χαρτόδετο
This book presents a strictly refereed collection of revised full papers selected from the papers ac...
Πλήρης περιγραφή
Κωδικός Libristo: 05274523
?
125 b
125 b
51.55
€
Σε εξωτερική αποθήκη
Αποστέλλουμε σε 5-8 ημέρες
Παράδοση στην Ελλάδα
Παράδοση στην Ελλάδα
Έως 30 ημέρες για επιστροφή
Οι πελάτες αγόρασαν επίσης
/
Σκληρόδετο
47.62
€
/
Χαρτόδετο
38.23
€
/
Σκληρόδετο
20.68
€
/
Χαρτόδετο
26.02
€
This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994.The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory.
Ηθοποιός
&
Πολύγλωσση
EWA KASP
για
Αναπαραγωγή βίντεο
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.
Πληροφορίες για το βιβλίο
Πλήρες όνομα
Types for Proofs and Programs
Συγγραφέας
Peter Dybjer, Bengt Nordström, Jan Smith
Γλώσσα
Αγγλική
Αγγλική
Βιβλιοδεσία
Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης
1995
Αριθμός σελίδων
210
EAN
9783540605799
ISBN
3540605797
Κωδικός Libristo
05274523
ΕΕκδοτικός οίκος
Springer, Berlin
Βάρος
294
Διαστάσεις
155 x 233 x 12
Κατηγορία
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 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτηΜπορεί να σας ενδιαφέρει
/
Χαρτόδετο
39.04
€
/
Χαρτόδετο
11.80
€
/
Χαρτόδετο
18.35
€
/
Χαρτόδετο
25.02
€
/
Σκληρόδετο
40.05
€
/
Χαρτόδετο
8.06
€
Σύμβουλος βιβλίων Libroamiko
Χρησιμοποιώντας αυτήν τη συνομιλία, επικοινωνείτε με δημιουργική τεχνητή νοημοσύνη. Με τη χρήση της, συμφωνείτε επίσης με την επεξεργασία προσωπικών δεδομένων.
Γεια σας! Είμαι ο Libroamiko, ο σύμβουλος βιβλίων σας.
Πώς μπορώ να σας βοηθήσω;
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;