621.395  / St29f <br/>
Staunstrup, Jorgen <br/>
       A formal approach to hardware design 
 / Jorgen Staunstrup 
 .- Boston: Kluwer Academic Publishers,  1994 
 .- xiv, 232p . 
.- ( The Kluwer International Series In Engineering And Computer Science / Edited By Jonathan Allen     
<br><u>ISBN:</u> 0792394275 
<br/><u>Subject Headings:</u> <br/>Application-specific integrated circuits--Design--Data processing;<br/>Computer-aided design;
<br><U>Copy Details:</u><br> Acc. No.: <b>A175236</b>, Full Call No.: 621.395 St29f,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>