Ships from/sold by Buy.com
advertisement

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

Earn Super Points: Write a Review
Sorry, this selection is currently unavailable.
Verification, Model Checking, and Abstract Interpretation Jones, Neil D. (EDT)/ Muller-Olm, Markus (EDT) 1 of 1
$110.22  + Free Shipping
EARN 111 RAKUTEN SUPER POINTS™ 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
45 day return policy
Share
 
Description
 

Learn more about Verification, Model Checking, and Abstract Interpretation:

Format: Paperback
ISBN-10: 3540938990
ISBN-13: 9783540938996
Sku: 210898347
Publish Date: 8/5/2009
Dimensions:  (in Inches) 9.25H x 6.25L x 1T
Pages:  381
See more in Computer Literacy
 

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.

From the Publisher:
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.
Advertisement Bottom