Title:
Formal methods for VLSI design : IFIP WG 10.5 lecture notes
Publication Information:
Amsterdam : North-Holland, 1990
ISBN:
9780444888587
Subject Term:
Added Author:
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000001827405 | TK7874.F69 1990 | Open Access Book | Book | Searching... |