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

Verification, Model Checking, and Abstract Interpretation

18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Γλώσσα ΑγγλικήΑγγλική
ebook Adobe ePub DRM
ebook Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Κωδικός Libristo: 41038562
ΕΕκδοτικός οίκος Springer, Ιανουάριος 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Πλήρης περιγραφή
? points 145 b
60.09 €
Σε απόθεμα Άμεσο κατέβασμα

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

????:?????? ????? / ebook Adobe ePub DRM
common.buy 6.57 €
Lettre De M. Mairan Au R. P. Parrenin ... / Βιβλίο Χαρτόδετο
common.buy 22.25 €
50 recettes de Salades fraicheurs pour le printemps et l'ete Pierre-Emmanuel Malissin / ebook Adobe ePub DRM
common.buy 3.03 €
Eleganckie pióro kulkowe EnerGel 0,7 mm BL2007-C granatowe w etui / Βιβλίο binding.
common.buy 17.49 €
Τοπ
Vítejte v pekle Roman Bureš / Βιβλίο Χαρτόδετο
common.buy 11.73 €
Architektur, Atmosphare, Wahrnehmung Martin Duchs / ebook Adobe ePub DRM
common.buy 42.69 €
Streitlust und Streitkunst Stephan Russ-Mohl / ebook Adobe ePub DRM
common.buy 26.50 €
Cervantes SANTIAGO MUÑOZ MACHADO / Βιβλίο Σκληρόδετο
common.buy 53.31 €
TECHNOPOLES collegium / Βιβλίο Χαρτόδετο
common.buy 16.08 €
de l'Angine Ulcereuse Et Du Muguet de la Gorge Dans La Fievre Typhoide, Communications DUGUET-J / Βιβλίο Χαρτόδετο
common.buy 13.35 €
Deutsches Theatrum Chemicum: Bibliotheca Chemica, Oder Catalogus Von Chymischen-b�chern, Volume 2 Friedrich Rothscholzen / Βιβλίο Χαρτόδετο
common.buy 41.17 €
Προετοιμαζουμε
Große Gartenfreude mit kleinem Budget Kristine Hamilton / Βιβλίο Βιβλίο
common.buy 16.18 €
Die Möglichkeit des Andersseins Paul Watzlawick / Βιβλίο Σκληρόδετο
common.buy 23.77 €

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
Γλώσσα Αγγλική
Βιβλιοδεσία ebook - Adobe ePub DRM
Ημερομηνία έκδοσης 2017
EAN 9783319522340
Κωδικός Libristo 41038562
ΕΕκδοτικός οίκος Springer

Κατηγορία

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
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
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Enhanced Test Automation with WebdriverIO Paul M. Grossman / ebook Adobe ePub DRM
common.buy 35.60 €
UK Environmental Policy in the 1990s Tim S. Gray / Βιβλίο Σκληρόδετο
common.buy 114.52 €
Disorders of the Hair and Nail: Diagnosis and Treatment Bianca Maria Piraccini / Βιβλίο Σκληρόδετο
common.buy 253.54 €
Understanding School Refusal Karen J. Grandison / ebook Adobe ePub DRM
common.buy 40.06 €
Intelligent Systems Design and Applications Ajith Abraham / Βιβλίο Χαρτόδετο
common.buy 308.48 €
Advanced Woodwork and Furniture Making John Louis Feirer / Βιβλίο Χαρτόδετο
common.buy 29.13 €
It Begins With You MARI WILLIAMS / Βιβλίο Χαρτόδετο
common.buy 20.02 €
Annual Report of the Secretary of the State Board of Agriculture ... and ... Annual Report of the Experimental Station ... Michigan State Dept of Agriculture / Βιβλίο Χαρτόδετο
common.buy 28.22 €
English Haitian Creole Educational 240 First Words Activity Colors Book for Toddlers (40 All Color Pages): New childrens learning cards for preschool Modern School Learning / Βιβλίο Χαρτόδετο
common.buy 13.75 €
Wicked Delight Lily Harper Hart / Βιβλίο Χαρτόδετο
common.buy 13.75 €
Microsoft Azure AI-102 Practice Tests CertSquad Professional Trainers / ebook Adobe ePub DRM
common.buy 21.54 €
Enlightenment Now Steven Pinker / Βιβλίο Σκληρόδετο
common.buy 32.16 €
Annual Report of the Board of Gas and Electric Light Commissioners of the Commonwealth of Massachusetts, Volume 25 Massachusetts Board of Gas and Electric / Βιβλίο Σκληρόδετο
common.buy 42.08 €
Practical Emergency Resuscitation and Critical Care Kaushal ShahJarone LeeKamal MedlejScott D. Weingart / Βιβλίο Χαρτόδετο
common.buy 92.26 €
Year Book of Vascular Surgery 2014 Gillespie / Βιβλίο Σκληρόδετο
common.buy 155.50 €
China's Rise, Russia's Fall Peter Nolan / Βιβλίο Χαρτόδετο
common.buy 53.31 €

Είσοδος

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

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

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

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

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