Symbolic Simulation Methods for Industrial Formal Verification
by Robert B. Jones
Available
Ships From New York
Free Shipping within U.S.A
International Shipping?
Check Delivery Estimate and
Shipping Cost
for your country
Publisher: | Springer |
Published In: | 30-Jun-2002 |
ISBN-10: | 1402071035 |
ISBN-13: | 9781402071034 |
Binding Type: | Hardback |
Weight: | 1.03 lbs |
Pages: | pp. 172, Illus. |
The Title "Symbolic Simulation Methods for Industrial Formal Verification 1st Edition" is written by Robert B. Jones. This book was published in the year 2002. The ISBN number 1402071035|9781402071034 is assigned to the Hardback version of this title. The book displayed here is a 1st Edition edition. This book has total of pp. 176 (Pages). The publisher of this title is Springer. We have about 202936 other great books from this publisher. Symbolic Simulation Methods for Industrial Formal Verification 1st Edition is currently Available with us.