An edition of Formal VLSI correctness verification (1990)

Formal VLSI correctness verification

proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

by , , and

Cover of: Formal VLSI correctness verification by IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989 Houthalen, Belgium), Ifip Wg 10.2, Wg 10.5 International Workshop on Applied Formal Methods, IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989 Houthalen, Belgium)
Preview
Borrow

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 30, 2024 | History
Edit
An edition of Formal VLSI correctness verification (1990)

Formal VLSI correctness verification

proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

by , , and

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

Publish Date
Publisher
North-Holland, Distributed in the U.S. and Canada, Elsevier Science Pub. Co.
Language
English
Pages
427

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Computer-aided design Congresses Integrated circuits Verification Very large scale integration Design and construction Data processing Testing
Edition Availability
Cover of: Formal VLSI correctness verification
Formal VLSI correctness verification: proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design
1990, North-Holland, Distributed in the U.S. and Canada, Elsevier Science Pub. Co.
in English
Cover of: Formal Vlsi Correctness Verification: Vlsi Design Methods II
Formal Vlsi Correctness Verification: Vlsi Design Methods II : Proceedings of the Ifip Wg 10.2/Wg 10.5 International Workshop on Applied Formal Meth (Vlsi Design Methods, 2)
August 1990, North-Holland
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references.

Published in
Amsterdam, New York, New York, N.Y
Series
VLSI design methods ;, 2
Genre
Congresses.

Classifications

Dewey Decimal Class
621.39/5
Library of Congress
TK7874 .I3283 1989a

The Physical Object

Pagination
xv, 427 p. :
Number of pages
427

Edition Identifiers

Open Library
OL1855134M
Internet Archive
formalvlsicorrec0000ifip
ISBN 10
0444886885
LCCN
90006949
OCLC/WorldCat
21195272
Goodreads
3583937

Work Identifiers

Work ID
OL4445331W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation