An edition of Formal verification of hardware design (1990)

Formal verification of hardware design

by

Cover of: Formal verification of hardware design by Michael Yoeli
Preview
Borrow

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 31, 2024 | History
Edit
An edition of Formal verification of hardware design (1990)

Formal verification of hardware design

by

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

Publish Date
Publisher
IEEE Computer Society Press
Language
English
Pages
326

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Very large scale integration, Computer-aided design, Integrated circuits, Design and construction, Data processing, Computer software, Verification
Edition Availability
Cover of: Formal verification of hardware design
Formal verification of hardware design
1990, IEEE Computer Society Press
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references and index.

Published in
Los Alamos, Calif
Series
IEEE Computer Society Press tutorial

Classifications

Dewey Decimal Class
621.39/2
Library of Congress
TK7874 .Y64 1990

The Physical Object

Pagination
ix, 326 p. :
Number of pages
326

Edition Identifiers

Open Library
OL1884344M
Internet Archive
formalverificati0000unse
ISBN 10
0818690178, 0818660171
LCCN
90045248
OCLC/WorldCat
22272764
Goodreads
6312343

Work Identifiers

Work ID
OL19019994W

Source records

Scriblio MARC record
Library of Congress MARC record
Internet Archive item record
Promise Item
marc_columbia MARC record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
July 31, 2024 Edited by MARC Bot import existing book
February 19, 2019 Created by MARC Bot import existing book