Foster, Harry. <br/><br/>
Assertion-Based Design  [electronic resource] / 
by Harry Foster, Adam Krolnik, David Lacey. 
 - Second Edition. 
 - Boston, MA :  Springer-Verlag US,  2005. 
 -  v.: digital 
<br/><br/><label>ISBN: </label>9781402080289 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Engineering<br/>Computer aided design<br/>Computer engineering<br/>Systems engineering<br/>Engineering<br/>Circuits and Systems<br/>Electrical Engineering<br/>Computer-Aided Engineering (CAD, CAE) and Design
<br/><br/><label>LC Class. No.: </label>TK7874.75  / F67 2005