An edition of Introduction to Formal Hardware Verification (1999)

Introduction to Formal Hardware Verification

1 edition

by

Cover of: Introduction to Formal Hardware Verification by Thomas Kropf, Thomas Kropf
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
February 26, 2022 | History
Edit
An edition of Introduction to Formal Hardware Verification (1999)

Introduction to Formal Hardware Verification

1 edition

by

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

Publish Date
Publisher
Springer
Language
English
Pages
299

Check nearby libraries

Buy this book

Subjects

Very large scale integration Computer-aided design Verification Integrated circuits Computer input-output equipment
Edition Availability
Cover of: Introduction to Formal Hardware Verification
Introduction to Formal Hardware Verification
November 23, 1999, Springer
Hardcover in English - 1 edition

Add another edition?

Book Details

Classifications

Library of Congress
TK7874.75 .K76 1999, TK7885-7895

The Physical Object

Format
Hardcover
Number of pages
299
Dimensions
9.5 x 6.4 x 0.8 inches
Weight
1.1 pounds

Edition Identifiers

Open Library
OL9062871M
ISBN 10
3540654453
ISBN 13
9783540654452
LCCN
99012500
Goodreads
2003228

Work Identifiers

Work ID
OL9077996W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON