Symbolic Simulation Methods for Industrial Formal Verification - Robert B. Jones - Books - Springer-Verlag New York Inc. - 9781402071034 - June 30, 2002
In case cover and title do not match, the title is correct

Robert B. Jones
Symbolic Simulation Methods for Industrial Formal Verification 2002 edition

Price
$ 106.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 29 - Jul 3

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

151 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released June 30, 2002
ISBN13 9781402071034
Publishers Springer-Verlag New York Inc.
Pages 151
Dimensions 155 × 235 × 11 mm   ·   417 g
Language English  
Editor Jones, Robert B.

Mere med samme udgiver

See all of Robert B. Jones ( e.g. Hardcover Book and Paperback Book )