Item #: 1121186 | Model #: 9783540938996
Verification, Model Checking, and Abstract Interpretation: 10th International Conference
Rollover image to zoom in
https://www.staples-3p.com/s7/is/image/Staples/m001246089_sc7?wid=512&hei=512

Verification, Model Checking, and Abstract Interpretation: 10th International Conference

No reviews yet
Share:
Delivered within 3-9 business days
$95.99
This item not available in stores
Qty:

Staples memberships could save you more | Learn More

Product Details
  • Author Name: Muller-Olm Jones
  • No of Pages: 381 pages
  • Publisher: Springer
Go to full description & specifications


95.99
95.99
https://www.staples-3p.com/s7/is/image/Staples/m001246089
09783540938996
Assorted Publishers
Verification, Model Checking, and Abstract Interpretation: 10th International Conference
Product Description
Verification, Model Checking and Abstract Interpretation by Jones & Muller-Olm - Contains the evaluated proceedings of the 10th International Conference on the title topic in USA in 2009

Verification, Model Checking and Abstract Interpretation by Jones & Müller-Olm presents twenty-four full papers carefully selected out of seventy-two submissions. Significant present-day issues include abstract interpretation and cross-fertilization.

  • Author Name: Muller-Olm Jones
  • No of Pages: 381 pages
  • Publisher: Springer
  • Publishing Date: December 18, 2008
  • Language: English
  • ISBN -10: 3540938990
  • ISBN -13: 978-3540938996
  • Edition: 2008
Specifications
Author Name Muller-Olm Jones
Book Cover Paperback
Reviews