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

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

Δωρεάν αποστολή με 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 International Publishing AG
SKU: 05166407
Price: 51.69 EUR
Availability: InStock
Author: Markus Müller-Olm
ISBN: 9783319109350

21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Markus Müller-Olm

Helmut Seidl

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 05166407

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

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

Κωδικός Libristo: 05166407

125 b

51.69 €

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

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

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

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

Verbindungen II Maria Ivanytska

Σκληρόδετο

40.66 €

Ballet: La mejor guía para apoyar a tu hijo: Manual para Padres Nadia Bautista Contreras

Χαρτόδετο

8.08 €

Лисёнок Вук Иштван Фекете

Σκληρόδετο

25.28 €

IT-Berufe Ingo Patett

Χαρτόδετο

36.31 €

Epikie Ingo Proft

Σκληρόδετο

75.77 €

Getriebe Und Getriebemodelle Auschuss Fur Witschaftiliche Fertigung Berlin Verein

Χαρτόδετο

53.11 €

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.

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

EWA KASP για

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

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

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

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

Συγγραφέας Markus Müller-Olm, Helmut Seidl

Γλώσσα

Αγγλική

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

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

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

EAN 9783319109350

ISBN 3319109359

Κωδικός Libristo 05166407

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

Βάρος 5387

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

Κατηγορία

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