An edition of Symbolic Simulation Methods for Industrial Formal Verification (2002)

Symbolic Simulation Methods for Industrial Formal Verification

1 edition

by

Cover of: Symbolic Simulation Methods for Industrial Formal Verification by Robert B. Jones, Robert B. Jones
Locate

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by Open Library Bot
April 14, 2010 | History
Edit
An edition of Symbolic Simulation Methods for Industrial Formal Verification (2002)

Symbolic Simulation Methods for Industrial Formal Verification

1 edition

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
176

Check nearby libraries

Buy this book

Edition Availability
Cover of: Symbolic Simulation Methods for Industrial Formal Verification
Symbolic Simulation Methods for Industrial Formal Verification
June 30, 2002, Springer
Hardcover in English - 1 edition

Add another edition?

Book Details

First Sentence

"Functional validation of complex hardware designs is an increasingly difficult problem."

The Physical Object

Format
Hardcover
Number of pages
176
Dimensions
9.3 x 6.4 x 0.6 inches
Weight
14.4 ounces

ID Numbers

Open Library
OL8372374M
ISBN 10
1402071035
ISBN 13
9781402071034

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
April 14, 2010 Edited by Open Library Bot Linked existing covers to the edition.
December 15, 2009 Edited by WorkBot link works
April 29, 2008 Created by an anonymous user Imported from amazon.com record