Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
2015 ed.
Book Details
Format
Paperback / Softback
Book Series
Lecture Notes in Computer Science
ISBN-10
3662460807
ISBN-13
9783662460801
Edition
2015 ed.
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Country of Manufacture
DE
Country of Publication
GB
Publication Date
Jan 7th, 2015
Print length
468 Pages
Ksh 8,100.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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.
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 2015. 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.
Get Verification, Model Checking, and Abstract Interpretation by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG and it has pages.
