Sin autor <br/><br/>
Formal methods for real-time computing 

 - Repr. 
 - Chichester :  ,  1996 
 - xvii, 271 p. :  il.  ;  24 cm. 
 - Trends in Software   5 .
<br/><br/><label>ISBN: </label>0471958352 
<br/><br/><label>Standard No.: </label>DIF000448 
<br/><br/><label>Subjects--Topical Terms: </label><br/>MÉTODOS FORMALES<br/>DESARROLLO DE SOFTWARE<br/>SISTEMAS DE TIEMPO REAL