Hailpern, Brent T. <br/><br/>
Verifying concurrent processes using temporal logic 

 - 1a ed. 
 - Berlín :   Springer,  1982 
 - viii, 208 p.  :  il.  ;  25 cm. 
 - Lecture notes in computer science    129 .
<br/><br/> Incluye índice y bibliografía. 
<br/><br/><label>ISBN: </label>0387112057 
<br/><br/><label>Standard No.: </label>DIF-M6255 
<br/><br/><label>Subjects--Topical Terms: </label><br/>VERIFICACIÓN DE PROGRAMAS<br/>INGENIERÍA DE SOFTWARE<br/>PROTOCOLOS DE REDES<br/>LÓGICA TEMPORAL