Bailey, Brian. <br/><br/>
Taxonomies for the Development and Verification of Digital Systems(E-BOOK)  [electronic resource] / 
edited by Brian Bailey, Grant Martin, Thomas Anderson. 
 - Boston, MA :  Springer Science+Business Media, Inc.,  2005. 
 -  v.: digital 
<br/><br/><label>ISBN: </label>978-0-387-24021-3 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Circuits and Systems<br/>Computer aided design<br/>Computer-Aided Engineering (CAD, CAE) and Design<br/>Electronic and Computer Engineering<br/>Electronics<br/>Electronics and Microelectronics, Instrumentation<br/>Engineering<br/>Engineering<br/>Logic design<br/>Logic Design<br/>Systems engineering<br/>Telecommunications engineering - (E-BOOK)
<br/><br/><label>Subjects--Geographic Terms: </label><br/>Taxonomies for the Development and Verification of Digital Systems(E-BOOK)
<br/><br/><label>Dewey Class. No.: </label>621.382