Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με 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 Επικοινωνία phoneΠώς να κάνετε αγορές;
Αγαπητοί μας πελάτες, θα θέλαμε να σας ενημερώσουμε ότι η τηλεφωνική υποστήριξη δεν είναι διαθέσιμη σήμερα. Θα εξετάσουμε τα αιτήματά σας την επόμενη εργάσιμη ημέρα. Σας ευχαριστούμε για την κατανόησή σας.

Verification, Model Checking, and Abstract Interpretation

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

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Verification, Model Checking, and Abstract Interpretation Bernhard Steffen
Κωδικός Libristo: 01558944
ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 2003
This book constitutes the refereed proceedings of the 5th International Conference on Verification,... Πλήρης περιγραφή
? points 125 b
51.73 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Erken Cocukluk Kitapligi Aile Agaci Haydi Ögrenelim Nuria Roca / Βιβλίο Χαρτόδετο
common.buy 6.77 €
lezione di un maestro. Scritti su Santo Mazzarino Mario Mazza / Βιβλίο Χαρτόδετο
common.buy 29.15 €
Tortų Meistryste: Magiskos Skonio Pasakos Emilija Kazlauskaitė / Βιβλίο Χαρτόδετο
common.buy 31.89 €
Τοπ
Vieš, ako veľmi ťa ľúbim? Alma Grossová / Βιβλίο Σκληρόδετο
common.buy 14.27 €
In seinem Garten liebt Don Perlimplin Belisa Wolfgang Fortner / Βιβλίο Χαρτόδετο
common.buy 9.31 €
"Me noto muy cambiá" JOSE L. CUERDA / Βιβλίο Χαρτόδετο
common.buy 12.14 €
Koran Hermann-Josef Frisch / Βιβλίο Χαρτόδετο
common.buy 12.65 €
Bulletin de la Société archéologique de Nantes et du département de la Loire-inférieure SOCIETE DE NANTES / Βιβλίο Χαρτόδετο
common.buy 19.33 €
Sóvárgás Tracy Wolff / Βιβλίο Σκληρόδετο
common.buy 15.79 €
Jeremias librorum sacrorum interpres atque vindex Augustus Kueper / Βιβλίο Σκληρόδετο
common.buy 109.35 €
La configuración de la nueva Europa: aspectos políticos, institucionales y estratégicos Garrido Rebolledo / Βιβλίο Χαρτόδετο
common.buy 19.53 €
La Carta de Derechos Fundamentales de la Unión Europea. Diez Años de Jurisprudencia López Castillo / Βιβλίο Χαρτόδετο
common.buy 147.33 €
Stvorenie hriechu Michal Kučerka / Βιβλίο Χαρτόδετο
common.buy 7.99 €
Goutte, Le Rhumatisme Et Les Diverses Manifestations de la Diathese Arthritique PETIT-C / Βιβλίο Χαρτόδετο
common.buy 16.29 €

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

Μπορεί να σας ενδιαφέρει

Unlevel Crossings Michael O'Leary / Βιβλίο Χαρτόδετο
common.buy 7.58 €
Brill's New Pauly, Antiquity, Volume 5 (Equ - Has) Helmuth Schneider / Βιβλίο Σκληρόδετο
common.buy 507.11 €
British India and Victorian Literary Culture NI FHLATHUIN MAIRE / Βιβλίο Χαρτόδετο
common.buy 37.05 €
History of the Roman Empire John Bagnell Bury / Βιβλίο Χαρτόδετο
common.buy 36.65 €
Demoniality: Or, Incubi And Succubi (1879) Ludovico Maria Sinistrari / Βιβλίο Χαρτόδετο
common.buy 14.67 €
NRSV Reference Bible, NR560:X BIBLE / Βιβλίο Σκληρόδετο
common.buy 20.24 €
Advanced Concepts for Intelligent Vision Systems Jacques Blanc-Talon / Βιβλίο Χαρτόδετο
common.buy 51.73 €
Songs of Spring and Blossoms of Unrequited Love Eilshemius Louis M. Eilshemius / Βιβλίο Χαρτόδετο
common.buy 18.82 €
Letters from Dollar the Contributor Bunny McCollonough Ceili / Βιβλίο Χαρτόδετο
common.buy 9.00 €
30 Worksheets - Finding Larger Number of 10 Digits: Math Practice Workbook Kapoo Stem / Βιβλίο Χαρτόδετο
common.buy 8.09 €
The Things We Do For Love: Luke & Shelly Anita Louise / Βιβλίο Χαρτόδετο
common.buy 13.66 €
Truths of Spiritualism Wilson Ebenezer V. Wilson / Βιβλίο Χαρτόδετο
common.buy 26.82 €
THE CHRISTIAN RECOVERY OF SPAIN, BEING T HENRY EDWARD WATTS / Βιβλίο Σκληρόδετο
common.buy 45.86 €
A Letter Addressed To The Lord Viscount Melbourne (1837) Cecil Fane / Βιβλίο Χαρτόδετο
common.buy 21.25 €
Magical Rescue Vets: Suki the Sea Dragon Morgan Huff / Βιβλίο Χαρτόδετο
common.buy 5.56 €
Hymns Translated From The Welsh By Mrs.penderel Llewelyn William Williams / Βιβλίο Σκληρόδετο
common.buy 28.24 €
Cybersecurity Evan Jones / Βιβλίο Χαρτόδετο
common.buy 47.28 €
Self-Determination and Secession in International Law Christian Walter / Βιβλίο Σκληρόδετο
common.buy 219.12 €
Geometry IV Yu. G. Reshetnyak / Βιβλίο Σκληρόδετο
common.buy 114.62 €
Archaeology and Heritage of the Human Movement into Space Beth Laura O Leary / Βιβλίο Σκληρόδετο
common.buy 51.73 €
Advanced Psychic Development - Learn how to practise as a professional contemporary spiritual medium Becky Walsh / Βιβλίο Χαρτόδετο
common.buy 12.24 €
Communities and Livelihood Strategies in Developing Countries Keshav Lall Maharjan / Βιβλίο Χαρτόδετο
common.buy 103.07 €
History, Politics, and the Novel Dominick LaCapra / Βιβλίο Χαρτόδετο
common.buy 53.46 €
In Subordination Mary Kinnear / Βιβλίο Χαρτόδετο
common.buy 44.55 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;