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

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

Δωρεάν αποστολή με 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-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01662058
Price: 51.63 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.63 €

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

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

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

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

Diego Rivera TIBOL

Σκληρόδετο

51.22 €

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

binding.

8.88 €

Mes livres mon carnet de lecture Marisol Liasu

Χαρτόδετο

10.40 €

Triada, Predestinación Laura Gallego

Χαρτόδετο

15.75 €

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

Χαρτόδετο

29.80 €

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

Χαρτόδετο

31.22 €

Nebe voní tebou Eva Hrašková

Σκληρόδετο

10.70 €

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.05 €

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

Χαρτόδετο

17.07 €

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

Χαρτόδετο

19.90 €

La conspiración contra la especie humana THOMAS LIGOTTI

Χαρτόδετο

24.85 €

Österreichisches Wohnrecht. Kommentar Till Hausmann

Λίστα

187.85 €

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

Χαρτόδετο

27.38 €

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

Χαρτόδετο

32.63 €

Optische Rhetorik Peter Mohr

Χαρτόδετο

26.77 €

Schattenvolk Viola Huber

Χαρτόδετο

17.88 €

Foucaults soziohistorische Theorie der Biomacht und die Eugenik Konrad Kalisch

Χαρτόδετο

25.05 €

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