Item #: 1120850 | Model #: 9783540883869
Automated Technology for Verification and Analysis
Rollover image to zoom in
https://www.staples-3p.com/s7/is/image/Staples/m001245911_sc7?wid=512&hei=512

Automated Technology for Verification and Analysis

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

Staples memberships could save you more | Learn More

Product Details
  • Author Name: Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan
  • No of Pages: 430 pages
  • Publisher: Springer
Go to full description & specifications


104.59
104.59
https://www.staples-3p.com/s7/is/image/Staples/m001245911
09783540883869
Assorted Publishers
Automated Technology for Verification and Analysis
Product Description
Automated Technology by Sungdeok Cha, et al. - Includes 21 revised full papers and 7 tool papers from the 6th International ATVA 2008

Automated Technology by Sungdeok Cha, et al. presents 21 revised full papers and 7 tool paper from the 6th International ATVA 2008 that include topics based on model checking, software verification and decision procedures.

  • Author Name: Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan
  • No of Pages: 430 pages
  • Publisher: Springer
  • Publishing Date: October 06, 2008
  • Language: English
  • ISBN -10: 354088386X
  • ISBN -13: 978-3540883869
  • Edition: 2008
Specifications
Author Name Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan
Book Cover Paperback
Reviews