Milne,George <br/><br/>
Formal specufication and Verification Of Digital Systems 
Milne,George 
 - London:  McGraw Hill,  1994. 
 - 240p. 
<br/><br/><br/>eng 
<br/><br/><label>ISBN: </label>007707811X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Digital Integrated Circuits -Design and Construction-Data processing -Integrated circuits-Verification Hard ware descripition language--Digital inted circuits-Verification
<br/><br/><label>Dewey Class. No.: </label>621.391  / MIF