4.0%OFF
Download App
| >> | LShop | >> | Book | >> | Computing & Informat... | >> | Computer Programming... | >> | Verification, Model ... |
4.0%OFF
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. ... Computer Science and General Issues)
-
ISBN
:
9783540938996
-
Publisher
:
Springer
-
Subject
:
Computer Programming / Software Development, Computer Science, Education
-
Binding
:
PAPERBACK
-
Pages
:
392
-
Year
:
2009
₹
7676.0
4.0% OFF
₹
7368.0
7368.0
Buy Now
Shipping charges are applicable for books below Rs. 101.0
View Details(Imported Edition) Estimated Shipping Time : 25-28 Business Days
View Details
-
Description
The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages. The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.
Related Items
-
of
521.0
