Home > Authors > IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989 Houthalen, Belgium) > Formal VLSI specification and synthesis

Buy at: Bookshop.org Amazon

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), Ifip Wg 10.2, Wg 10.5 International Workshop on Applied Formal Methods, Luc J. M. Claesen

See on goodreads

Recent activity

Rate this book to see your activity here.

1 Book Similar to Formal VLSI specification and synthesis by IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989 Houthalen, Belgium)

Bookscovery readers who liked Formal VLSI specification and synthesis also like Vlsi Design Methods. How many of these have you read?

Vlsi Design Methods by Luc J. M. Claesen

Cover of Vlsi Design Methods

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of Formal VLSI specification and synthesis

Please sign in to leave a comment