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

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

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

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

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

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

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

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

Obchodná spoločnosť v kríze Martin Kubinec

Χαρτόδετο

22.00 €

Amb uns altres ulls BERSABE GARCIA

Χαρτόδετο

29.50 €

POLICE TRAINING MANUAL RODRíGUEZ MENA

Χαρτόδετο

40.11 €

BIBO JEANNE GOURDON

Χαρτόδετο

14.90 €

The Porsche 911 Book - Photo2 René Staud

Χαρτόδετο

2 285.72 €

Superfragilibus Carmen Bramly

Χαρτόδετο

21.50 €

Histoire des institutions publiques de la France avant 1789 MATHIEU

Χαρτόδετο

21.80 €

Hexaplorum Origenis, Part 2 (1770) Origen

Χαρτόδετο

51.41 €

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

Χαρτόδετο

14.20 €

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

Χαρτόδετο

19.10 €

Curso Básico de Cálculo Mental Yusnier Viera

Χαρτόδετο

15.40 €

Mein letzter Seufzer Luis Bunuel

Χαρτόδετο

24.80 €

Nouveaux Memoires Politiques Richemont-L

Χαρτόδετο

17.50 €

Gesamten Deutschen Luftstreitkrafte Im 1. Weltkrieg Georg Paul Neumann

Χαρτόδετο

52.81 €

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