Davie, Bruce S.
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | His Formal specification and verification in VLSI design, c1990: t.p. (Bruce S. Davie) jkt. (Broadband Packet Switching Research District for Bell Communications Research) |
コード類 | 典拠ID=AU20118606 NCID=DA06178989 |