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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer, Berlin
SKU: 01558944
Price: 51.63 EUR
Availability: InStock
Author: Bernhard Steffen
ISBN: 9783540208037

5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Bernhard Steffen

Giorgio Levi

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01558944

ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 2003

This book constitutes the refereed proceedings of the 5th International Conference on Verification,... Πλήρης περιγραφή

Κωδικός Libristo: 01558944

125 b

51.63 €

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

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

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

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

Tortų Meistryste: Magiskos Skonio Pasakos Emilija Kazlauskaitė

Χαρτόδετο

31.82 €

lezione di un maestro. Scritti su Santo Mazzarino Mario Mazza

Χαρτόδετο

28.59 €

Vieš, ako veľmi ťa ľúbim? Alma Grossová

Σκληρόδετο

10.90 €

Goutte, Le Rhumatisme Et Les Diverses Manifestations de la Diathese Arthritique PETIT-C

Χαρτόδετο

16.26 €

Koran Hermann-Josef Frisch

Χαρτόδετο

12.62 €

Bulletin de la Société archéologique de Nantes et du département de la Loire-inférieure SOCIETE DE NANTES

Χαρτόδετο

19.29 €

Sóvárgás Tracy Wolff

Σκληρόδετο

15.75 €

La configuración de la nueva Europa: aspectos políticos, institucionales y estratégicos Garrido Rebolledo

Χαρτόδετο

21.51 €

La Carta de Derechos Fundamentales de la Unión Europea. Diez Años de Jurisprudencia López Castillo

Χαρτόδετο

161.07 €

Stvorenie hriechu Michal Kučerka

Χαρτόδετο

7.97 €

Erken Cocukluk Kitapligi Aile Agaci Haydi Ögrenelim Nuria Roca

Χαρτόδετο

6.76 €

In seinem Garten liebt Don Perlimplin Belisa Wolfgang Fortner

Χαρτόδετο

9.49 €

This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004.The 22 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on security, formal methods, model checking, software checking, liveness and completeness, and miscellaneous.

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

EWA KASP για

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

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

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

Πλήρες όνομα Verification, Model Checking, and Abstract Interpretation

Συγγραφέας Bernhard Steffen, Giorgio Levi

Γλώσσα

Αγγλική

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

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

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

EAN 9783540208037

ISBN 3540208038

Κωδικός Libristo 01558944

ΕΕκδοτικός οίκος Springer, Berlin

Βάρος 480

Διαστάσεις 156 x 234 x 18

Κατηγορία

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 > Computer architecture & logic design

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

Είναι εύκολο

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