Yazar
luc j m claesen
2 cilt bulundu.
Cilt sonuçları
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 · North-Holland
414 sayfa · 1990
Computer-aided design / Congresses / Integrated circuits / Testing / Very large scale integration