Correct hardware design and verification methods proceedings of the ifip wg10.5 advanced research working conference, charme'95, held in frankfurt main, germany, october, 1995

Advanced Research Working Conference on Correct Hardware Design and Verification Methods (8. 1995 Frankfurt / Main) Paolo E Camurati; Hans Eveking

Berlin Springer 1995

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.987 e.1 ) e outros locais(Acessar)