Αγαπητοί μας πελάτες, θα θέλαμε να σας ενημερώσουμε ότι η τηλεφωνική υποστήριξη δεν είναι διαθέσιμη σήμερα. Θα εξετάσουμε τα αιτήματά σας την επόμενη εργάσιμη ημέρα. Σας ευχαριστούμε για την κατανόησή σας.

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

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

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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Static Analysis

Name: Static Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01662058
Price: 51.76 EUR
Availability: InStock
Author: Antoine Mine
ISBN: 9783642331244

19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Antoine Mine

David Schmidt

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01662058

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Αύγουστος 2012

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

Κωδικός Libristo: 01662058

125 b

51.76 €

Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες

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

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

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

Diego Rivera TIBOL

Σκληρόδετο

46.18 €

Powieści Marguerite Duras Stekolshchikova Irina Stekolshchikova

Χαρτόδετο

46.79 €

wols / catalogue de l'exposition Sous la direction de anne montfort

Βιβλίο

46.39 €

Puzzle 20 maxi Trzy małe świnki C-02399

binding.

9.01 €

Mes livres mon carnet de lecture Marisol Liasu

Χαρτόδετο

10.42 €

scambio John Grisham

Σκληρόδετο

36.46 €

Les outils qualitatifs en géographie - 2e éd. Marianne Morange

Χαρτόδετο

31.19 €

La conspiración contra la especie humana THOMAS LIGOTTI

Χαρτόδετο

22.58 €

BABADADA, Cymraeg - Schwiizerdutsch, geiriadur lluniau - Bildwoerterbuech Babadada Gmbh

Χαρτόδετο

29.87 €

Nebe voní tebou Eva Hrašková

Σκληρόδετο

3.23 €

Los puritanos y otros cuentos Armando Palacio Valdes

Χαρτόδετο

8.09 €

Creation du Boxeur Ultime: Apprenez les secrets et les astuces utilises par les meilleurs boxeurs et entraineurs professionnels pour ameliorer vo Correa (Athlete Professionnel Et Entrain

Χαρτόδετο

25.11 €

Iluminacion Evolutiva: Un Nuevo Camino Hacia el Despertar Espiritual = Evolutionary Illumination Andrew Cohen

Χαρτόδετο

15.39 €

El libro de los besos y la niebla Xosé Carlos Caneiro

Χαρτόδετο

18.12 €

Triada, Predestinación Laura Gallego

Χαρτόδετο

14.07 €

Österreichisches Wohnrecht. Kommentar Till Hausmann

Λίστα

188.31 €

Lettres Historiques Sur Tous Les Spectacles de Paris, (Ed.1719) Nicolas Boindin

Χαρτόδετο

26.53 €

Luc Van Tien CA Dien (Ed.1883) Dinh Chieu Nguyen

Χαρτόδετο

30.79 €

Frozen Planet, The Blue Planet, Planet Earth: Das Klavieralbum George Fenton

Χαρτόδετο

20.15 €

Optische Rhetorik Peter Mohr

Χαρτόδετο

26.84 €

Schattenvolk Viola Huber

Χαρτόδετο

17.92 €

Foucaults soziohistorische Theorie der Biomacht und die Eugenik Konrad Kalisch

Χαρτόδετο

25.11 €

This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.

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

EWA KASP για

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

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

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

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

Συγγραφέας Antoine Mine, David Schmidt

Γλώσσα

Αγγλική

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

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

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

EAN 9783642331244

ISBN 3642331246

Κωδικός Libristo 01662058

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Βάρος 718

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

Κατηγορία

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic

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 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη