Join our mailing list!

Official PayPal Seal

(Your shopping cart is empty)

  Home > Diane Publishing Books >

Guidelines for Formal Verification Systems
Guidelines for Formal Verification Systems
Our Price: $20.00
Year: 1989
Pages: 35
Binding Paperback

Product Code: 0788105523

Barbara Mayer (au); Monica McGill Lu (au). Explains the requirements for formal verification systems. Primarily intended for developers of verification systems to use in the development of production-quality formal verification systems. Explains the requirements & the process used to evaluate formal verification systems. Includes: evaluation approach, methodology & system specification, & implementation & other support factors. Glossary & bibliography.

Share your knowledge of this product with other customers... Be the first to write a review
Diane Publishing Co
PO Box 617
Darby, PA 19023-0617
 About Us
 Become an Affiliate
 Privacy Policy
 Send Us Feedback
Company Info | Advertising | Product Index | Category Index | Help | Terms of Use
Copyright � 2004 Diane Publishing Company. All Rights Reserved.
Built with Volusion