Item #: 1123622 | Model #: 9783540884781
Leveraging Applications of Formal Methods, Verification and Validation
Rollover image to zoom in
https://www.staples-3p.com/s7/is/image/Staples/m001248268_sc7?wid=512&hei=512

Leveraging Applications of Formal Methods, Verification and Validation

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

Staples memberships could save you more | Learn More

Product Details
  • Author Name: Tiziana Margaria, Bernhard Steffen
  • No of Pages: 869 Pages
  • Publisher: Springer
Go to full description & specifications


163.89
163.89
https://www.staples-3p.com/s7/is/image/Staples/m001248268
09783540884781
Assorted Publishers
Leveraging Applications of Formal Methods, Verification and Validation
Product Description
Leveraging Applications of Formal Methods, Verification and Validation by Tiziana Margaria and Bernhard Steffen - Discuss issues regarding the adoption and use of the tools and methods for the specification, analysis etc. of the systems

Leveraging Applications of Formal Methods by Tiziana Margaria and Bernhard Steffen talks about the conference proceedings of ISoLA 2008. It discusses issues regarding the adoption and use of the tools and methods of the systems.

  • Author Name: Tiziana Margaria, Bernhard Steffen
  • No of Pages: 869 Pages
  • Publisher: Springer
  • Publishing Date: October 14, 2008
  • Language: English
  • ISBN -10: 3540884785
  • ISBN -13: 978-3540884781
  • Edition: 2008
Specifications
Author Name Tiziana Margaria, Bernhard Steffen
Book Cover Paperback
Reviews