An edition of Formal methods for VLSI design (1990)

Formal methods for VLSI design

IFIP WG 10.5 lecture notes

by

Cover of: Formal methods for VLSI design by J. Staunstrup
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 27, 2024 | History
Edit
An edition of Formal methods for VLSI design (1990)

Formal methods for VLSI design

IFIP WG 10.5 lecture notes

by

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

Publish Date
Publisher
North-Holland, Distributors for the U.S. and Canada, Elsevier Science Pub. Co.
Language
English
Pages
329

Check nearby libraries

Buy this book

Subjects

Very large scale integration, Testing, Computer-aided design, Integrated circuits, Design and construction, Data processing
Edition Availability
Cover of: Formal methods for VLSI design
Formal methods for VLSI design: IFIP WG 10.5 lecture notes
1990, North-Holland, Distributors for the U.S. and Canada, Elsevier Science Pub. Co.
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references.
Written for the international summer school organized by the Computer Science Dept. of the Technical University of Denmark and held in June 1990.

Published in
Amsterdam, New York, New York, N.Y., U.S.A

Classifications

Library of Congress
TK7874 .F65 1990

The Physical Object

Pagination
329 p. :
Number of pages
329

Edition Identifiers

Open Library
OL1886913M
ISBN 10
0444888586
LCCN
90048107
OCLC/WorldCat
22452177
Goodreads
6313083

Work Identifiers

Work ID
OL19207781W

Source records

Scriblio MARC record
Talis record
Library of Congress MARC record
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 27, 2024 Edited by MARC Bot import existing book
March 11, 2019 Created by MARC Bot import existing book