Taxonomies for the Development and Verification of Digital Systems  [electronic resource] / 
edited by Brian Bailey, Grant Martin, Thomas Anderson. 
 - Boston, MA :  Springer Science+Business Media, Inc.,  2005. 
 - xx, 179 p. :  ill., digital ;  25 cm. 
<br/><br/><label>ISBN: </label>9780387240213 (electronic bk.) 9780387240190 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Digital integrated circuits--Design and construction.<br/>Integrated circuits--Verification.<br/>Digital communications.<br/>Engineering.<br/>Electronic and Computer Engineering.<br/>Electronics and Microelectronics, Instrumentation.<br/>Logic Design.<br/>Computer-Aided Engineering (CAD, CAE) and Design.<br/>Circuits and Systems.
<br/><br/><label>LC Class. No.: </label>TK7874.65  / T39 2005 
<br/><br/><label>Dewey Class. No.: </label>621.3815