All Categories /
Computers & Technology /
Computer Science

Symbolic Simulation Methods for Industrial Formal Verification

(7)
Symbolic Simulation Methods for Industrial Formal Verification image
ISBN-10:

1402071035

ISBN-13:

9781402071034

Author(s): Jones, Robert B.
Edition: 2002
Released: Jun 30, 2002
Publisher: Springer
Format: Hardcover, 169 pages
Find in Library

Description:

This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.

Best prices to buy, sell, or rent ISBN 9781402071034

‌
‌
‌

Frequently Asked Questions about Symbolic Simulation Methods for Industrial Formal Verification

You can buy the Symbolic Simulation Methods for Industrial Formal Verification 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 ‌.

The price for the book starts from $19.98 on Amazon and is available from 23 sellers at the moment.

If you’re interested in selling back the Symbolic Simulation Methods for Industrial Formal Verification 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 Symbolic Simulation Methods for Industrial Formal Verification book, the best buyback offer comes from ‌ and is $‌ for the book in good condition.‌

‌‌‌‌‌‌‌‌‌‌

The Symbolic Simulation Methods for Industrial Formal Verification book is in very low demand now as the rank for the book is 4,607,201 at the moment. A rank of 1,000,000 means the last copy sold approximately a month ago.

Not enough insights yet.