An edition of Formal methods for VLSI design (1990)

Formal methods for VLSI design

IFIP WG 10.5 lecture notes

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Formal methods for VLSI design by edited by Jørgen Staunstrup.
Not in Library

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
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
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

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition 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

Showing 1 featured edition. View all 1 editions?

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
  • Not in Library
Libraries near you: WorldCat

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

ID Numbers

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

Source records

Scriblio MARC record
Talis record
Library of Congress MARC record
marc_columbia MARC record

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 / OPDS | Wikipedia citation
July 27, 2024 Edited by MARC Bot import existing book
November 11, 2020 Edited by MARC Bot import existing book
March 13, 2019 Edited by MARC Bot import existing book
March 11, 2019 Edited by MARC Bot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record