Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια.
Δημιουργία δωρεάν λογαριασμού
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 €
Σημείο Elta 3.99 €
Elta 4.49 €
ACS 4.99 €
Σημείο ACS 4.99 €
Box Now 3.99 €
Επικοινωνία
Πώς να κάνετε αγορές;
Βοήθεια
Παράδοση
DHL courier 9.99 €
Σημείο Elta 3.99 €
Elta 4.49 €
ACS 4.99 €
Σημείο ACS 4.99 €
Box Now 3.99 €
Δωρεάν αποστολή με Box Now άνω των 69.99 €
Οδηγός αγορών
Είμαστε στη διάθεσή σας!
210 2602819
Ο λογαριασμός μου
▸
Άδειο :-(
0
Computer Science Logic
15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
Γλώσσα
Αγγλική
Αγγλική
Βιβλίο
Χαρτόδετο
This book constitutes the refereed proceedings of the 15th International Workshop on Computer Scienc...
Πλήρης περιγραφή
Κωδικός Libristo: 01563752
?
249 b
249 b
102.86
€
Εξωτερικός αποθηκευτικός χώρος
Αποστέλλουμε σε 5-8 ημέρες
Παράδοση στην Ελλάδα
Παράδοση στην Ελλάδα
30 ημέρες για την επιστροφή των προϊόντων
Οι πελάτες αγόρασαν επίσης
/
Χαρτόδετο
20.20
€
This book constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Conerence of the EACSL in Paris, France in September 2001.The 39 revised full papers presented together with two invited papers were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on linear logic, descriptive complexity, semantics, higher-order programs, model logics, verification, automata, lambda calculus, induction, equational calculus, and constructive theory of types.
Ηθοποιός
&
Πολύγλωσση
EWA KASP
για
Αναπαραγωγή βίντεο
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.
Πληροφορίες για το βιβλίο
Πλήρες όνομα
Computer Science Logic
Συγγραφέας
Laurent Fribourg
Γλώσσα
Αγγλική
Αγγλική
Βιβλιοδεσία
Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης
2001
Αριθμός σελίδων
628
EAN
9783540425540
ISBN
3540425543
Κωδικός Libristo
01563752
ΕΕκδοτικός οίκος
Springer, Berlin
Βάρος
875
Διαστάσεις
155 x 235 x 32
Κατηγορία
Technology, Engineering, Agriculture
>
Electronics & communications engineering
>
Electronics engineering
>
Automatic control engineering
>
Robotics
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτηΜπορεί να σας ενδιαφέρει
/
Σκληρόδετο
215.84
€
/
Χαρτόδετο
8.07
€
/
Χαρτόδετο
68.40
€
