Item #: 1120042 | Model #: 9783642277047
Verified Software
Rollover image to zoom in
https://www.staples-3p.com/s7/is/image/Staples/m001244605_sc7?wid=512&hei=512

Verified Software

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

Staples memberships could save you more | Learn More

Product Details
  • Author Name: Rajeev Joshi, Peter Muller, Andreas Podelski
  • No of Pages: 337 pages
  • Publisher: Springer
Go to full description & specifications


79.99
79.99
https://www.staples-3p.com/s7/is/image/Staples/m001244605
09783642277047
Assorted Publishers
Verified Software
Product Description
Verified Software by Rajeev Joshi, Peter Muller, Andreas Podelski - Cover several topics on software verification, specification and tools for automation

Verified Software by Rajeev Joshi, Peter Muller, Andreas Podelski is a collection of 20 revised papers, 2 talks and 2 tutorials which cover several topics on software verification, specification and tools.

  • Author Name: Rajeev Joshi, Peter Muller, Andreas Podelski
  • No of Pages: 337 pages
  • Publisher: Springer
  • Publishing Date: January 10, 2012
  • Language: English
  • ISBN -10: 3642277047
  • ISBN -13: 978-3642277047
  • Edition: 2012
Reviews