Formal Vlsi Specification and Synthesis: Vlsi Design Methods I

Loading edition detail...

Preparing this view.

Formal Vlsi Specification and Synthesis: Vlsi Design Methods I

Ifip Wg 10.2, Wg 10.5 International Workshop on Applied Formal Methods, Luc J. M. Claesen

Bookitis Pick

Cover for Formal Vlsi Specification and Synthesis: Vlsi Design Methods I

Image source: Open Library

Ifip Wg 10.2, Wg 10.5 International Workshop on Applied Formal Methods, Luc J. M. ClaesenPublished August 1990cover on file

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Publisher	North-Holland
Pages	414
Search language	english
ISBN_10	0-444-88372-X primary
ISBN_13	978-0-444-88372-8 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

FV
Image source: Open Library
Formal VLSI specification and synthesis
IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989 Houthalen, Belgium) | North-Holland, Distributed for the U.S. and Canada, Elsevier Science Pub. Co. | 1990