Έλεγχος κατάστασης παραγγελίας
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

11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Verification, Model Checking, and Abstract Interpretation Gilles Barthe
Κωδικός Libristo: 01655343
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Ιανουάριος 2010
This book constitutes the refereed proceedings of the 11th International Conference on Verification,... Πλήρης περιγραφή
? points 141 b
58.19 €
Σε εξωτερική αποθήκη σε μικρές ποσότητες Αποστέλλουμε σε 13-18 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Augusto Giacometti Beat Stutzer / Βιβλίο Χαρτόδετο
common.buy 42.66 €
Metody prepodawaniq-obucheniq i akademicheskaq uspewaemost' studentow Abubakar Obilan / Βιβλίο Χαρτόδετο
common.buy 17.84 €
Die besten Übungen für den Atlas-Wirbel Heike Höfler / Βιβλίο Χαρτόδετο
common.buy 18.04 €
Plansza dwustronna A4 ściąga Europa / Βιβλίο binding.
common.buy 2.91 €
Le Coran expliqué aux jeunes Rachid Benzine / Βιβλίο Χαρτόδετο
common.buy 12.30 €
Des petits mondes en leur début / Βιβλίο Χαρτόδετο
common.buy 34.79 €
Ivres paradis, bonheurs heroiques Cyrulnik Boris Cyrulnik / ebook Adobe ePub DRM
common.buy 14.11 €
Joan Miro TBD / Βιβλίο Σκληρόδετο
common.buy 40.54 €
Dawit Isaak Anisur Rahman / Βιβλίο Χαρτόδετο
common.buy 26.22 €
UN HERISSON EMMANUELLE KECIR-LEPETIT / Βιβλίο Βιβλίο
common.buy 13.30 €
Kamumemoár James Blunt / Βιβλίο Σκληρόδετο
common.buy 15.73 €
Compliance-Anforderungen an Hersteller autonomer Software-Agenten: 5 Compliance-Prinzipien für sichere Agenten Markus Fatalin / Βιβλίο Χαρτόδετο
common.buy 32.47 €
Dále nevyšlapanou cestou Nekonečná pouť duchovního růstu Morgan Scott Peck / Βιβλίο Σκληρόδετο
common.buy 9.57 €
Transiciones e Interacciones en la Sociedad del Conocimiento Johanna Pérez Daza / Βιβλίο Χαρτόδετο
common.buy 52.44 €
Moje plány Jan Sokol / Βιβλίο Χαρτόδετο
common.buy 14.92 €
Holašovice: Vesnická památková rezervace collegium / Βιβλίο Λίστα
common.buy 12.50 €
Jak jsem se (ne)stal agentem StB Jan Vaněček / Βιβλίο binding.
common.buy 3.52 €
andere Erinnerung - Der Holocaust in der deutschsprachigen Literatur nach 1945 Katja Born / Βιβλίο Χαρτόδετο
common.buy 16.13 €
Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche / Βιβλίο Χαρτόδετο
common.buy 40.03 €
Burenkrieg (1899-1902) Burkhard Werner / Βιβλίο Χαρτόδετο
common.buy 13.51 €
Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne Ulrike Ludwig / Βιβλίο Σκληρόδετο
common.buy 50.83 €
Indische Reisebriefe Ernst Haeckel / Βιβλίο Χαρτόδετο
common.buy 35.60 €
Integrierte Versorgung bei Demenzerkrankungen Lucie Barth / Βιβλίο Χαρτόδετο
common.buy 31.16 €
Gottfried Keller Albert Köster / Βιβλίο Χαρτόδετο
common.buy 25.00 €

This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. §The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

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

Πλήρες όνομα Verification, Model Checking, and Abstract Interpretation
Συγγραφέας Gilles Barthe, Manuel Hermenegildo
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2010
Αριθμός σελίδων 397
EAN 9783642113185
ISBN 3642113184
Κωδικός Libristo 01655343
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 612
Διαστάσεις 155 x 235 x 23

Κατηγορία

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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
Computing & Information Technology > Operating systems
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Bio-Inspired Computing and Applications De-Shuang Huang / Βιβλίο Χαρτόδετο
common.buy 58.19 €
Dominoes: Three: The Secret Agent Joseph Conrad / Βιβλίο Χαρτόδετο
common.buy 14.62 €
Think Starter Workbook with Online Practice Herbert Puchta / Βιβλίο Σκληρόδετο
common.buy 11.29 €
Implementation, Usage and Advantages of Cloud Computing within Project Management using the example of an Offshore Wind Farm Project Andreas Hoppe / Βιβλίο Χαρτόδετο
common.buy 38.22 €
Changing Room Zhai Yongming / Βιβλίο Χαρτόδετο
common.buy 18.85 €
Torn in the New Sa Bronwyn McIntosh / Βιβλίο Χαρτόδετο
common.buy 24.30 €
English Physician's Guide or a Holy Guide V1 John Heydon / Βιβλίο Σκληρόδετο
common.buy 62.73 €
Heterogeneity in Distributed Embedded Systems. From Programming Paradigms to Testing Tobias Baumgartner / Βιβλίο Χαρτόδετο
common.buy 27.93 €
REASONABLE SERVICE WILLIAM PAG ROBERTS / Βιβλίο Σκληρόδετο
common.buy 33.07 €
Introduction To The Theory Of Probability, An Parimal Mukhopadhyay / Βιβλίο Σκληρόδετο
common.buy 81.59 €
Corporations in Pennsylvania. Volume 2 of 2 Walter Murphy / Βιβλίο Χαρτόδετο
common.buy 27.43 €
Seven Hours at the Ocean Ty Davis / Βιβλίο Χαρτόδετο
common.buy 8.06 €
The Voice of the Pack Edison Marshall / Βιβλίο Χαρτόδετο
common.buy 33.07 €
Mr. Balfour's Apologetics Critically Examined W. B. Columbine / Βιβλίο Χαρτόδετο
common.buy 22.48 €
Paleocene Faunas of the San Juan Basin, New Mexico: Transactions of the American Philosophical Society, New Series, V30 William Diller Matthew / Βιβλίο Σκληρόδετο
common.buy 64.64 €
Two Dark Reigns Kendare Blake / Βιβλίο Χαρτόδετο
common.buy 9.27 €
MCAS Math Workbook for Grade 7: Abundant Exercises and Two Full-Length MCAS Math Practice Tests Reza Nazari / Βιβλίο Χαρτόδετο
common.buy 17.44 €
Anthems for Choirs 4 Christopher Morris / Έντυπα Νότες
common.buy 25.51 €
Τοπ
Entering the Healing Ground WELLER FRANCIS / Βιβλίο Χαρτόδετο
common.buy 15.93 €
30 Great Books That Made History Aurell / Βιβλίο Χαρτόδετο
common.buy 24.10 €
Robert Rauschenberg and Surrealism Gavin Parkinson / Βιβλίο Χαρτόδετο
common.buy 46.99 €
Mythic-Symbolic Language and Philosophical Anthropology D.M. Rasmussen / Βιβλίο Χαρτόδετο
common.buy 102.67 €
My Mom is a Construction Manager Princess Karibo / Βιβλίο Χαρτόδετο
common.buy 28.13 €
Transport and Reactivity of Solutions in Confined Hydrosystems Lionel Mercury / Βιβλίο Σκληρόδετο
common.buy 153.91 €

Είσοδος

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

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

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

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

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