Αγαπητοί μας πελάτες,
Θα θέλαμε να σας ενημερώσουμε ότι, για τεχνικούς λόγους, η τηλεφωνική γραμμή εξυπηρέτησής μας είναι προσωρινά εκτός λειτουργίας.
Σας ευχαριστούμε θερμά για την κατανόηση!
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια.
Δημιουργία δωρεάν λογαριασμού
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 10.49 €
Σημείο Elta 4.49 €
Elta 4.99 €
ACS 5.49 €
Box Now 4.49 €
Σημείο ACS 4.49 €
Επικοινωνία
Πώς να κάνετε αγορές;
Βοήθεια
Παράδοση
DHL courier 10.49 €
Σημείο Elta 4.49 €
Elta 4.99 €
ACS 5.49 €
Box Now 4.49 €
Σημείο ACS 4.49 €
Δωρεάν αποστολή με Box Now άνω των 69.99 €
Οδηγός αγορών
Είμαστε στη διάθεσή σας!
210 2602819
Ο λογαριασμός μου
▸
Άδειο :-(
0
Αγαπητοί μας πελάτες,
Θα θέλαμε να σας ενημερώσουμε ότι, για τεχνικούς λόγους, η τηλεφωνική γραμμή εξυπηρέτησής μας είναι προσωρινά εκτός λειτουργίας.
Σας ευχαριστούμε θερμά για την κατανόηση!
Static Analysis
Third International Symposium, Aachen, Germany, September 24-26, 1996. Proceedings
Γλώσσα
Αγγλική
Αγγλική
Βιβλίο
Χαρτόδετο
This book constitutes the refereed proceedings of the Third International Static Analysis Symposium,...
Πλήρης περιγραφή
Κωδικός Libristo: 05274620
?
118 b
118 b
48.53
€
Σε εξωτερική αποθήκη
Αποστέλλουμε σε 5-8 ημέρες
Παράδοση στην Ελλάδα
Παράδοση στην Ελλάδα
Έως 30 ημέρες για επιστροφή
Οι πελάτες αγόρασαν επίσης
/
Σκληρόδετο
28.83
€
/
Χαρτόδετο
12.55
€
/
Χαρτόδετο
35.46
€
This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, abstract interpretation, partial evaluation, logic programming, functional programming, and constraint programming.
Ηθοποιός
&
Πολύγλωσση
EWA KASP
για
Αναπαραγωγή βίντεο
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.
Πληροφορίες για το βιβλίο
Πλήρες όνομα
Static Analysis
Συγγραφέας
Radhia Cousot, David A. Schmidt
Γλώσσα
Αγγλική
Αγγλική
Βιβλιοδεσία
Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης
1996
Αριθμός σελίδων
398
EAN
9783540617396
ISBN
3540617396
Κωδικός Libristo
05274620
ΕΕκδοτικός οίκος
Springer, Berlin
Βάρος
524
Διαστάσεις
156 x 234 x 21
Κατηγορία
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
Computing & Information Technology
>
Computer programming / software engineering
>
Programming & scripting languages: general
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτηΜπορεί να σας ενδιαφέρει
/
Χαρτόδετο
14.96
€
/
Χαρτόδετο
33.86
€
/
Χαρτόδετο
8.13
€
/
Adobe ePub DRM
34.76
€
/
Χαρτόδετο
112.59
€
Σύμβουλος βιβλίων Libroamiko
Χρησιμοποιώντας αυτήν τη συνομιλία, επικοινωνείτε με δημιουργική τεχνητή νοημοσύνη. Με τη χρήση της, συμφωνείτε επίσης με την επεξεργασία προσωπικών δεδομένων.
Γεια σας! Είμαι ο Libroamiko, ο σύμβουλος βιβλίων σας.
Πώς μπορώ να σας βοηθήσω;
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;