Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Verification, Model Checking, and Abstract Interpretation

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

Language EnglishEnglish
E-book Adobe ePub DRM
E-book Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Libristo code: 41038562
Publishers Springer, January 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Full description
? points 152 b
62.19 € VAT included
In stock Immediate digital delivery

Customers also purchased

????:?????? ????? / E-book Adobe ePub DRM
common.buy 6.79 €
Lettre De M. Mairan Au R. P. Parrenin ... / Book Paperback
common.buy 21.99 €
50 recettes de Salades fraicheurs pour le printemps et l'ete Pierre-Emmanuel Malissin / E-book Adobe ePub DRM
common.buy 3.09 €
Eleganckie pióro kulkowe EnerGel 0,7 mm BL2007-C granatowe w etui / Book binding.
common.buy 18.19 €
Top
Vítejte v pekle Roman Bureš / Book Paperback
common.buy 12.29 €
Architektur, Atmosphare, Wahrnehmung Martin Duchs / E-book Adobe ePub DRM
common.buy 44.29 €
Streitlust und Streitkunst Stephan Russ-Mohl / E-book Adobe ePub DRM
common.buy 27.39 €
Cervantes SANTIAGO MUÑOZ MACHADO / Book Hardback
common.buy 54.69 €
TECHNOPOLES collegium / Book Paperback
common.buy 16.49 €
de l'Angine Ulcereuse Et Du Muguet de la Gorge Dans La Fievre Typhoide, Communications DUGUET-J / Book Paperback
common.buy 13.19 €
Deutsches Theatrum Chemicum: Bibliotheca Chemica, Oder Catalogus Von Chymischen-b�chern, Volume 2 Friedrich Rothscholzen / Book Paperback
common.buy 62.00 €
Coming soon
Große Gartenfreude mit kleinem Budget Kristine Hamilton / Book Book
common.buy 17.99 €
Die Möglichkeit des Andersseins Paul Watzlawick / Book Hardback
common.buy 28.09 €

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. 

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Verification, Model Checking, and Abstract Interpretation
Author Ahmed Bouajjani, David Monniaux
Language English
Binding E-book - Adobe ePub DRM
Date of issue 2017
EAN 9783319522340
Libristo code 41038562
Publishers Springer

Categories

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
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Enhanced Test Automation with WebdriverIO Paul M. Grossman / E-book Adobe ePub DRM
common.buy 36.89 €
UK Environmental Policy in the 1990s Tim S. Gray / Book Hardback
common.buy 118.29 €
Disorders of the Hair and Nail: Diagnosis and Treatment Bianca Maria Piraccini / Book Hardback
common.buy 262.59 €
Understanding School Refusal Karen J. Grandison / E-book Adobe ePub DRM
common.buy 41.49 €
Intelligent Systems Design and Applications Ajith Abraham / Book Paperback
common.buy 321.39 €
Advanced Woodwork and Furniture Making John Louis Feirer / Book Paperback
common.buy 28.79 €
It Begins With You MARI WILLIAMS / Book Paperback
common.buy 19.79 €
Annual Report of the Secretary of the State Board of Agriculture ... and ... Annual Report of the Experimental Station ... Michigan State Dept of Agriculture / Book Paperback
common.buy 27.89 €
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 / Book Paperback
common.buy 13.59 €
Wicked Delight Lily Harper Hart / Book Paperback
common.buy 13.59 €
Microsoft Azure AI-102 Practice Tests CertSquad Professional Trainers / E-book Adobe ePub DRM
common.buy 22.19 €
Enlightenment Now Steven Pinker / Book Hardback
common.buy 33.59 €
Annual Report of the Board of Gas and Electric Light Commissioners of the Commonwealth of Massachusetts, Volume 25 Massachusetts Board of Gas and Electric / Book Hardback
common.buy 41.59 €
Practical Emergency Resuscitation and Critical Care Kaushal ShahJarone LeeKamal MedlejScott D. Weingart / Book Paperback
common.buy 95.79 €
Year Book of Vascular Surgery 2014 Gillespie / Book Hardback
common.buy 160.89 €
China's Rise, Russia's Fall Peter Nolan / Book Paperback
common.buy 55.49 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?