Formal methods for real-time computing / 
ed. by Constance Heitmeyer and Dino Mandrioli 
 - 271 páginas 
 - Trends in software ;  5 .
<br/><br/>Incluye referencias bibliograficas e indices. 
<br/><br/><label>ISBN: </label>0471958352 (papel alcalino) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Procesamiento de datos en tiempo real
<br/><br/><label>LC Class. No.: </label>QA76.54  / F667 
<br/><br/><label>Dewey Class. No.: </label>005.2