Search
Navigation
Join our mailing list!
(Your shopping cart is empty)
Home
>
Diane Publishing Books
>
Guidelines for Formal Verification Systems
Our Price:
$
20.00
Year:
1989
Pages:
35
Binding
Paperback
Product Code:
0788105523
Description
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.
Related Products...
Lamborghini: Supercar Supreme
Our Price:
$27.00
Add
Country Ribbon Crafts: Delightful Projects Using Easy Techniques
Our Price:
$25.00
Add
Air Combat: The New Face of War
Our Price:
$20.00
Add
Live Now, Age Later: Proven Ways to Slow Down the Clock
Our Price:
$24.00
Add
War of the Rebellion: Official Records of the Union & Confederate Armies: Series I, Volume I
Our Price:
$30.00
Add
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
1-800-782-3833
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
