close popup
A small part of your job is 100% of ours.
quill points image
$20 QuillCASH with enrollmentJoin 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: Springer Vieweg Verlag
Not yet rated.Be the first to Write a Review!
Leveraging Applications of Formal Methods, Verification and Validation
$217.39 Each
 
Delivery Date:
Go
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 : Springer Vieweg Verlag
Weight : 2.70 lbs. per Each
loadingLoading...