Milne,George
Formal specufication and Verification Of Digital Systems Milne,George - London: McGraw Hill, 1994. - 240p.
eng
007707811X
Digital Integrated Circuits -Design and Construction-Data processing -Integrated circuits-Verification Hard ware descripition language--Digital inted circuits-Verification
621.391 / MIF
Formal specufication and Verification Of Digital Systems Milne,George - London: McGraw Hill, 1994. - 240p.
eng
007707811X
Digital Integrated Circuits -Design and Construction-Data processing -Integrated circuits-Verification Hard ware descripition language--Digital inted circuits-Verification
621.391 / MIF