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
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
20 432 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Kein Makel um die Liberator Emmerich Nilson / Book Paperback
common.buy 2 648 Ft
Verteidigung als Angriff Michael Multhammer / Book Hardback
common.buy 55 701 Ft
Modernitat ALS Paradox Birgit Hoock / Book Hardback
common.buy 47 037 Ft
Republique Oui ! Les Radicaux Jamais ! Extrait Du Chapitre IV de la Brochure Qui Vive ? Sans Auteur / Book Paperback
common.buy 4 769 Ft
Typenbildung in Der Sozialwissenschaftlichen Umweltforschung Gerhard De Haan / Book Paperback
common.buy 22 899 Ft
Je m'habille - a.telier, emanuela collini Xxxxxxx Book Book
common.buy 2 183 Ft
Gruzínština konverzace collegium / Book Paperback
common.buy 4 275 Ft
Gastronomie českého středověku Monika Černá-Feyfrlíková / Book Paperback
common.buy 5 343 Ft
'... meine besten Schüler sind meistens Juden.' Thomas Brechenmacher / Book Hardback
common.buy 15 511 Ft

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 64 157 Ft
Alien Zone II Rick Kuhn / Book Paperback
common.buy 11 587 Ft
Prosecuting Maritime Piracy Michael P. Scharf / E-book Adobe ePub DRM
common.buy 21 533 Ft
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 10 562 Ft
Coming soon
Society, Institutions, and Individuals David G Embrick / Book Paperback
common.buy 45 424 Ft
What's What in America Eugene V. Brewster / Book Paperback
common.buy 8 830 Ft
Flight of the Valkyrie K S Daniels / Book Paperback
common.buy 5 129 Ft
Annabelle's Reading Log Martha Day Zschock / Book Hardback
common.buy 6 320 Ft
New Wine T a Prickett / Book Paperback
common.buy 4 754 Ft
Political History of Spanish José Del Valle / Book Paperback
common.buy 21 907 Ft
Modern Leadership Development and Excellence DR.S.K. BABOOA / Book Paperback
common.buy 5 794 Ft
Teaching Agricultural Concepts Farshad Ghooshchi Omidvar / Book Paperback
common.buy 5 689 Ft
Just Solution Stephen Yearwood / Book Paperback
common.buy 5 039 Ft
Two Days of Doubt Cort / Book Paperback
common.buy 4 275 Ft

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