close popup
A small part of your job is 100% of ours.
quill points image
Limited time - FREE membership with today's orderJoin Now
Bring more to your business with QuillPOINTS Plus 1,000 QPoint sign-up bonus Join Now Show Less Show More

Leveraging Applications of Formal Methods, Verification and Validation

See pricing info, deals and product reviews for Leveraging Applications of Formal Methods, Verification and Validation at Quill.com. Order online today and get fast, free shipping for your business.
Item #: 901-1123622BAK
  Model #: 9783540884781
Brand: Assorted Publishers
Not yet rated.Be the first to Write a Review!
Leveraging Applications of Formal Methods, Verification and Validation
$217.39 Each
Delivery Date:

Enter Zip Code
Parcel
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
Book Cover : Paperback Author Name : Tiziana Margaria, Bernhard Steffen Brand : Assorted Publishers Customizable : No
Weight : 2.70 lbs. per Each
loadingLoading...