Correct hardware design and verification methods : IFIP WG10.2 Advanced research working conference : Konf. CHARME'93, Arles, Frances, 24.- 26. May 1993 / Edit.: Milne,George J.; Pierre,Laurence
Milne George J (Compiler)  Pierre Laurence (xxx)
1.vyd.
Berlin : Springer Verlag, 1993 . - 269 s
ISBN 3-540-56778-X
počítače hardware overovanie diagnostika verifikácia
zborník