An edition of Hardware specification, verification, and synthesis (1990)

Hardware Specification, Verification and Synthesis: Mathematical Aspects

Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, ... (Lecture Notes in Computer Science)

Hardware Specification, Verification and Synt ...
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by LC Bot
December 28, 2011 | History
Edit
An edition of Hardware specification, verification, and synthesis (1990)

Hardware Specification, Verification and Synthesis: Mathematical Aspects

Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, ... (Lecture Notes in Computer Science)

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

Publish Date
Publisher
Springer
Language
English
Pages
402

Check nearby libraries

Buy this book

Subjects

Congresses Verification Data processing Very large scale integration Integrated circuits Design and construction
Edition Availability
Cover of: Hardware Specification, Verification and Synthesis: Mathematical Aspects
Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, ... (Lecture Notes in Computer Science)
February 14, 1990, Springer
in English

Add another edition?

Book Details

Edition Identifiers

Open Library
OL7449342M
ISBN 10
0387972269
ISBN 13
9780387972268
Goodreads
4828372

Work Identifiers

Work ID
OL16355496W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

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