DasGupta, Pallab. <br/><br/>
A Roadmap for Formal Property Verification  [electronic resource] / 
by Pallab DasGupta. 
 - Dordrecht :  Springer,  2006. 
 -  v.: digital 
<br/><br/><label>ISBN: </label>9781402047589 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Engineering<br/>Logic design<br/>Computer science<br/>Computer aided design<br/>Electronics<br/>Systems engineering<br/>Engineering<br/>Circuits and Systems<br/>Computer-Aided Engineering (CAD, CAE) and Design<br/>Electronics and Microelectronics, Instrumentation<br/>Logic Design<br/>Electronic and Computer Engineering<br/>Mathematical Logic and Formal Languages
<br/><br/><label>LC Class. No.: </label>TK7874.58  / D37 2006