Hardware specification, verification and synthesis :  Mathematical aspects / 
M. leeser, g. Brown, eds. 
 - 402 páginas 
 - Lecture ntoes in computer science ;  408 .
<br/><br/> "mathematical sciences institute workshop cornell university, ithaca, new york, usa july 5-7, 1989 : proceedings" 
<br/><br/><label>ISBN: </label>3540972269 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software para computadora--Congresos<br/>Unidad de entrada y salida para computadoras--Congresos<br/>Programas para computadora--Verificación--Congresos
<br/><br/><label>LC Class. No.: </label>TK7887  / H37