Item #: 1122767 | Model #: 9783642047602
Automated Technology for Verification and Analysis (Paperback)
Rollover image to zoom in
https://www.staples-3p.com/s7/is/image/Staples/m001247569_sc7?wid=512&hei=512

Automated Technology for Verification and Analysis (Paperback)

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

Staples memberships could save you more | Learn More

Product Details
  • Author Name: Zhiming Liu, Anders P. Ravn
  • No of Pages: 414 pages
  • Publisher: Springer
Go to full description & specifications


112.99
112.99
https://www.staples-3p.com/s7/is/image/Staples/m001247569
09783642047602
Assorted Publishers
Automated Technology for Verification and Analysis (Paperback)
Product Description
Automated Technology for Verification and Analysis by Zhiming Liu - 23 research papers that discuss automated technology

Automated Technology for Verification and Analysis by Zhiming Liu sheds light the proceedings of ATVA 2009 symposium. The book includes 23 research papers that discuses automated technology for verification and analysis.

  • Author Name: Zhiming Liu, Anders P. Ravn
  • No of Pages: 414 pages
  • Publisher: Springer
  • Publishing Date: September 29, 2009
  • Language: English
  • ISBN -10: 3642047602
  • ISBN -13: 978-3642047602
  • Edition: 2009
Specifications
Author Name Zhiming Liu, Anders P. Ravn
Book Cover Paperback
Reviews