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

16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Language EnglishEnglish
Book Paperback
Book Verification, Model Checking, and Abstract Interpretation Deepak D'Souza
Libristo code: 09136925
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, December 2014
This book constitutes the refereed proceedings of the 16th International Conference on Verification,... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Kein Makel um die Liberator Emmerich Nilson / Book Paperback
common.buy 6.99 €
Verteidigung als Angriff Michael Multhammer / Book Hardback
common.buy 158.49 €
Modernitat ALS Paradox Birgit Hoock / Book Hardback
common.buy 123.99 €
Republique Oui ! Les Radicaux Jamais ! Extrait Du Chapitre IV de la Brochure Qui Vive ? Sans Auteur / Book Paperback
common.buy 14.19 €
Typenbildung in Der Sozialwissenschaftlichen Umweltforschung Gerhard De Haan / Book Paperback
common.buy 60.29 €
Je m'habille - a.telier, emanuela collini Xxxxxxx Book Book
common.buy 6.49 €
Gruzínština konverzace collegium / Book Paperback
common.buy 11.29 €
Gastronomie českého středověku Monika Černá-Feyfrlíková / Book Paperback
common.buy 15.79 €
'... meine besten Schüler sind meistens Juden.' Thomas Brechenmacher / Book Hardback
common.buy 44.29 €

This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2014. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical 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 Deepak D'Souza, Akash Lal, Kim Gulstrand Larsen
Language English
Binding Book - Paperback
Date of issue 2014
Number of pages 468
EAN 9783662460801
ISBN 3662460807
Libristo code 09136925
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 7314
Dimensions 155 x 235 x 25

Categories

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 > 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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Migrant Passage Noelle Kateri Brigden / Book Hardback
common.buy 170.19 €
Alien Zone II Rick Kuhn / Book Paperback
common.buy 30.39 €
Prosecuting Maritime Piracy Michael P. Scharf / E-book Adobe ePub DRM
common.buy 61.19 €
Communion-Office for the Use of the Church of Scotland, as Far as Concerneth the Ministration of That Holy Sacrament MULTIPLE CONTRIBUTOR / Book Hardback
common.buy 27.89 €
Society, Institutions, and Individuals David G Embrick / Book Paperback
common.buy 149.89 €
What's What in America Eugene V. Brewster / Book Paperback
common.buy 23.39 €
Flight of the Valkyrie K S Daniels / Book Paperback
common.buy 13.59 €
What Jack Taught Grandpa: Practical Wisdom from a Knee-High Perspective Bob Heckman / Book Paperback
common.buy 10.09 €
Annabelle's Reading Log Martha Day Zschock / Book Hardback
common.buy 16.49 €
New Wine T a Prickett / Book Paperback
common.buy 13.79 €
West Dorset Guide Book / Book Paperback
common.buy 7.99 €
Political History of Spanish José Del Valle / Book Paperback
common.buy 57.89 €
Modern Leadership Development and Excellence DR.S.K. BABOOA / Book Paperback
common.buy 17.09 €
Teaching Agricultural Concepts Farshad Ghooshchi Omidvar / Book Paperback
common.buy 16.19 €
Just Solution Stephen Yearwood / Book Paperback
common.buy 15.39 €
Two Days of Doubt Cort / Book Paperback
common.buy 14.29 €

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?