OPAC Home  
Yoeli, M., ed.

Formal verification of hardware design - Los Alamitos IEEE Computer Society Press 1990 - 326 p.

0-8186-9017-8


COMPUTER HARDWARE-DESIGN

681.3.02 / F6

Copyright @ 2015-2021 Library, University of Moratuwa, Katubedda, Moratuwa (10400), Sri Lanka