Check order status

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

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 09136925
Price: 51.73 EUR
Availability: InStock
Author: Deepak D'Souza
ISBN: 9783662460801

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

Deepak D'Souza

Akash Lal

Kim Gulstrand Larsen

Language

English

Book Paperback

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

Libristo code: 09136925

125 b

51.73 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Kein Makel um die Liberator Emmerich Nilson

Paperback

6.77 €

Verteidigung als Angriff Michael Multhammer

Hardback

153.20 €

Modernitat ALS Paradox Birgit Hoock

Hardback

119.28 €

Republique Oui ! Les Radicaux Jamais ! Extrait Du Chapitre IV de la Brochure Qui Vive ? Sans Auteur

Paperback

13.66 €

Typenbildung in Der Sozialwissenschaftlichen Umweltforschung Gerhard De Haan

Paperback

57.91 €

Je m'habille - a.telier, emanuela collini Xxxxxxx Book

Book

6.27 €

Gruzínština konverzace collegium

Paperback

10.82 €

Gastronomie českého středověku Monika Černá-Feyfrlíková

Paperback

15.18 €

'... meine besten Schüler sind meistens Juden.' Thomas Brechenmacher

Hardback

42.72 €

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.