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

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

Δωρεάν αποστολή με 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

Andreas Podelski

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 19996247

ΕΕκδοτικός οίκος Springer International Publishing AG, Αύγουστος 2018

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

Κωδικός Libristo: 19996247

125 b

51.69 €

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

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

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

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

Curso Básico de Cálculo Mental Yusnier Viera

Χαρτόδετο

15.57 €

Les Registres de Benoit XI, Recueil Des Bulles de Ce Pape. Tome 4 BENOIT XI

Χαρτόδετο

19.32 €

Reglement Et Tarif de l'Octroi de Montbrison Conformes Aux Deliberations Du Conseil Municipal

Χαρτόδετο

14.36 €

Superfragilibus Carmen Bramly

Χαρτόδετο

23.06 €

BIBO JEANNE GOURDON

Χαρτόδετο

15.17 €

This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018. The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenance.

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

EWA KASP για

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

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

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

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

Συγγραφέας Andreas Podelski

Γλώσσα

Αγγλική

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

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

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

EAN 9783319997247

ISBN 3319997246

Κωδικός Libristo 19996247

ΕΕκδοτικός οίκος Springer International Publishing AG

Βάρος 694

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

Κατηγορία

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 > Systems analysis & design

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

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

Είναι εύκολο

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