Guidelines for Formal Verification Systems

(5)
Guidelines for Formal Verification Systems image
ISBN-10:

0788105523

ISBN-13:

9780788105524

Released: Jun 01, 1989
Publisher: Diane Pub Co.
Format: Paperback, 35 pages

Description:

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 and the process used to evaluate formal verification systems. Includes: evaluation approach, methodology and system specification, and implementation and other support factors. Glossary and bibliography.

Best prices to buy, sell, or rent ISBN 9780788105524




Frequently Asked Questions about Guidelines for Formal Verification Systems

You can buy the Guidelines for Formal Verification Systems book at one of 20+ online bookstores with BookScouter, the website that helps find the best deal across the web. Currently, the best offer comes from and is $ for the .

If you’re interested in selling back the Guidelines for Formal Verification Systems book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.

As for the Guidelines for Formal Verification Systems book, the best buyback offer comes from and is $ for the book in good condition.

Not enough insights yet.

Not enough insights yet.