Yoeli, Michael,  1917-, <br/><br/>
Verification of systems and circuits using LOTOS, Petri Nets, and CCS / 
by Michael Yoeli and Rakefet Kol 
 - xv, 231 páginas :  ilustraciones 
 - Wiley series on parallel and distributed computing .
<br/><br/><label>ISBN: </label>9780471704492 (encuadernado en tela) 0471704490 (encuadernado en tela) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Circuitos integrados--Verificación<br/>Software para computadora--Verificación<br/>LOTOS (Lenguaje de programacion para computadora)<br/>Redes de Petri
<br/><br/><label>LC Class. No.: </label>TK7874.58  / Y64 
<br/><br/><label>Dewey Class. No.: </label>621.3815/48