Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009, Proceedings (Paperback)

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.

More Buying Options

Seller Infomation Price & Shipping  
VIBGYOR BOOKS $67.48 + $3.99 shipping
Condition: Brand New
In Stock
The Book is Available in Brand New Condition. Fast and Secure shipping. Great customer support service. Shop with confidence!
Usually ships in 1 to 2 business days
Add to Cart
Buy.com
$112.76 + free shipping
Condition: Brand New
In Stock, 45 Day Returns

Usually Ships within 24 hours
Add to Cart
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 24 hours
Please select an option to buy
Add to Cart

Sold By:  Buy.com
ADVERTISEMENT
Promotions & Offers (1)
  •  custom promo
    5% Back Sitewide with Promo Code REWARDME at Checkout - Ends 8/31/15 *See page for details
ADVERTISEMENT
ADVERTISEMENT