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 28, 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
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 10, 2009 Created by WorkBot add works page