Έλεγχος κατάστασης παραγγελίας

Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού

Δωρεάν αποστολή με Box Now άνω των 69.99 €

DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Σημείο ACS 4.99 € Box Now 3.99 €

Επικοινωνία phone

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 01562711
Price: 51.69 EUR
Availability: InStock
Author: Radhia Cousot
ISBN: 9783540403258

10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings

Radhia Cousot

Γλώσσα

Αγγλική

Βιβλίο Χαρτόδετο

Κωδικός Libristo: 01562711

ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 2002

This book constitutes the refereed proceedings of the 10th International Symposium on Static Analysi... Πλήρης περιγραφή

Κωδικός Libristo: 01562711

125 b

51.69 €

Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες

Παράδοση στην Ελλάδα

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

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

Jadrné memento Bernard Pitrun

Χαρτόδετο

12.64 €

Bohové lžou Kaori Ozaki

Χαρτόδετο

8.59 €

Wissenstransfer Andrea Becher

Σκληρόδετο

49.57 €

MUNDOLOGIA JUAN MANUEL HEREDIA

Βιβλίο

21.84 €

We Never Learn 6 TAISHI TSUTSUI

Audio CD

15.87 €

Storia Della Repubblica Di Venezia Dal Suo Principio Sino Al Suo Fine: Opera Originale Volume 11 Giuseppe Cappelletti

Χαρτόδετο

28.22 €

de l'Hydro-Rhinite Ulceree Ou Traite Raisonne de la Morve Et Du Farcin Chez Le Cheval Mariot-Didieux-S

Χαρτόδετο

19.32 €

Zu Christian Stark

Χαρτόδετο

16.18 €

ABC der Tiere / ABC der Tiere 2 - Arbeitsheft Sprachbuch Klaus Kuhn

Λίστα

12.74 €

This book constitutes the refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003.§The 25 revised full papers presented together with two invited contributions were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on static analysis of object-oriented languages, static analysis of concurrent languages, static analysis of functional languages, static analysis of procedural languages, static data analysis, static linear relation analysis, static analysis based program transformation, and static heap analysis.

Ηθοποιός & Πολύγλωσση

EWA KASP για

Αναπαραγωγή βίντεο

το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Static Analysis

Συγγραφέας Radhia Cousot

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Χαρτόδετο

Ημερομηνία έκδοσης 2003

Αριθμός σελίδων 510

EAN 9783540403258

ISBN 3540403256

Κωδικός Libristo 01562711

ΕΕκδοτικός οίκος Springer, Berlin

Βάρος 726

Διαστάσεις 155 x 235 x 26

Κατηγορία

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general

Computing & Information Technology > Computer programming / software engineering > Software Engineering

Computing & Information Technology > Computer science > Mathematical theory of computation

Computing & Information Technology > Computer science > Computer architecture & logic design

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη