opac-header

Correct hardware design and verification methods

Correct hardware design and verification methods / IFIP WG10.2 advanced research working conference CHARME'93 Arles, Frances, 24-26 May, 1993 - London: Springer-Verlag, 1993 - 269p.


Computer

Hardware

D 681.3.02(082.2) / N3