Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009, Proceedings (Paperback) - Jones, Neil D. (EDT)/ Muller-Olm, Markus (EDT)

Customer Reviews   Write a Review

Be the first to review this item and earn 25 Rakuten Super Points™

Product Overview

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.

Specifications

Publisher Springer Verlag
Mfg Part# 9783540938996
SKU 210898347
Format Paperback
ISBN10 3540938990
Release Date 8/5/2009
Physical
Dimensions (in Inches) 9.25H x 6.25L x 1T
From the Publisher
Editors Note 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.
loading
$112.76 + free shipping
Earn 113 ($1.13) Rakuten Super Points™
What are Rakuten Super Points™?
Get rewarded when you shop! Earn 1 point per dollar spent. That's like getting cash back on every purchase. Easy to see matured points in checkout. Use points just like cash.
Learn More
Format: Paperback
Condition: Brand New
In Stock. Usually Ships within 1 business day
Please select an option to buy
Add to Cart

Sold By:  Buy.com
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT