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

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

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

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

Os animais tem alma? ERNESTO BOZZANO / Βιβλίο Χαρτόδετο
common.buy 13.77 €
Praha / Βιβλίο Χαρτόδετο
common.buy 1.81 €
Malvadita Keselman / Ακουστικό βιβλίο MP3
common.buy 4.04 €
MEURTRIERS SANS VISAGE Henning Mankell / Βιβλίο Χαρτόδετο
common.buy 14.68 €
Batman - Svět Různí / Βιβλίο Σκληρόδετο
common.buy 20.87 €
LA NOBLEZA DE LAS FLORES 8 SAKA MIKAMI / Βιβλίο Βιβλίο
common.buy 9.21 €
manuale delle piste ciclabili e della ciclabilità. Ideare, pianificare, progettare, promuovere e gestire le infrastrutture ciclabili Sergio Deromedis / Βιβλίο Χαρτόδετο
common.buy 53.50 €
ATS GRUPO B ADMINISTRACION ESPECIAL DE LA GENERALITAT VALENC EDITORIAL MAD / Βιβλίο Σκληρόδετο
common.buy 64.55 €
2 CHANS. POPULAIRES CHT CHANT BLAS SANCHEZ Βιβλίο binding.
common.buy 10.02 €
Προετοιμαζουμε
Mésopotamie - L'apparition de l'état, VIIe IIIe millénaires FOREST / Βιβλίο Βιβλίο
common.buy 86.74 €
Viaggi attraverso le cose. Ediz. numerata Corrado Alvaro / Βιβλίο Χαρτόδετο
common.buy 5.26 €
Modèle de Hubbard étendu: Aspects électronique et magnétique Said Harir / Βιβλίο Χαρτόδετο
common.buy 44.58 €
Die Gesänge Der Serben, Erster Theil Siegfried Kapper / Βιβλίο Χαρτόδετο
common.buy 35.97 €
Vícevrstvá vkládačka Geometrické tvary 4v1 / Παιχνίδι/Επιτραπέζιο παιχνίδι Παζλ
common.buy 13.27 €
Feelgood-Management Ulrike Weber / Βιβλίο Χαρτόδετο
common.buy 14.38 €
Lehrer sein! Johannes Baumann / Βιβλίο Χαρτόδετο
common.buy 23.70 €
Aktuelle Rechtsfragen im Radsport Manfred Büchele / Βιβλίο Χαρτόδετο
common.buy 60.80 €
Satires Contre Les Astronomes MERCIER-L-S / Βιβλίο Χαρτόδετο
common.buy 14.38 €

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

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

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

Πλήρες όνομα Verification, Model Checking, and Abstract Interpretation
Συγγραφέας Ahmed Bouajjani, David Monniaux
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2017
Αριθμός σελίδων 560
EAN 9783319522333
ISBN 3319522337
Κωδικός Libristo 15560990
ΕΕκδοτικός οίκος Springer International Publishing AG
Βάρος 8657
Διαστάσεις 155 x 235 x 31

Κατηγορία

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer hardware > Network hardware
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 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Life in a Cold Climate Thompson / Βιβλίο Χαρτόδετο
common.buy 16.71 €
Red Earth Joel Canfield / Βιβλίο Χαρτόδετο
common.buy 21.27 €
KJV Holy Bible, Personal Size Giant Print Reference Bible, Deluxe Burgundy Leathersoft, Thumb Indexed, 43,000 Cross References, Red Letter, Comfort Pr Thomas Nelson / Βιβλίο Σκληρόδετο
common.buy 40.22 €
Adventures of Hugh Jorgan Rock Harding / Βιβλίο Χαρτόδετο
common.buy 11.14 €
When Money Talks: Buford Tucker Listens Danny Broderick / Βιβλίο Χαρτόδετο
common.buy 19.45 €
Technology, Modernity, and Democracy Eduardo Beira / Βιβλίο Σκληρόδετο
common.buy 172.68 €
Changing Clouds of Time Shikha Bhargava / Βιβλίο Χαρτόδετο
common.buy 10.83 €
Speak Life: Restoring Healthy Communication in How You Think, Talk, and Pray Brady Boyd / Βιβλίο Χαρτόδετο
common.buy 18.64 €
Psychedelic Alien Monster: Cannabis College Ruled Notebook Cannabis Growers Press / Βιβλίο Χαρτόδετο
common.buy 9.92 €
Remaking China's Great Cities Sam Liang / Βιβλίο Σκληρόδετο
common.buy 255.69 €
Προετοιμαζουμε
Henry Demarest Lloyd and the Empire of Reform Chester Mcarthu Destler / Βιβλίο Σκληρόδετο
common.buy 164.37 €
Computational Intelligence in Digital Pedagogy Soumen Mukherjee / Βιβλίο Χαρτόδετο
common.buy 175.22 €
Season's of a Mother's Heart Sally Clarkson / Βιβλίο Χαρτόδετο
common.buy 12.86 €
Amazing Writers: B2 (Collins Amazing People ELT Readers) Katerina Mestheneou / Ακουστικό βιβλίο MP3
common.buy 8.40 €
Applying the Scientific Method to Learn from Mistakes and Approach Truth Finlay MacRitchie / ebook Adobe ePub DRM
common.buy 53.60 €
Τοπ
INFINITY SAGA CAPT AMER WINTER SOLDIER A MARVEL STUDIOS / Βιβλίο Σκληρόδετο
common.buy 30.80 €
Climate Change and Mango Production Syed Atif Hasan Naqvi / ebook Adobe ePub DRM
common.buy 241.90 €
Practical Bee Farming - An Article on the Methods and Equipment of the Beekeeper Various / Βιβλίο Χαρτόδετο
common.buy 26.14 €
Unbounded Chronicles David Schneider / Βιβλίο Χαρτόδετο
common.buy 31.20 €
Animals A-Z Trevor E Coward / Βιβλίο Χαρτόδετο
common.buy 17.62 €
Trying It Out in America: Literary and Other Performances Richard Poirier / Βιβλίο Χαρτόδετο
common.buy 23.10 €
Shipcraft 24: Japanese Battleship s Fuso and Ise Classes Robert Brown / Βιβλίο Χαρτόδετο
common.buy 20.87 €
ACTOR OR A PEEP BEHIND THE CUR Thomas Ford / Βιβλίο Χαρτόδετο
common.buy 20.26 €
Damned If I Do, Dead If I Don't Hannah Bonde / Βιβλίο Χαρτόδετο
common.buy 17.42 €

Είσοδος

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

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

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

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

Δημιουργία λογαριασμού Libristo