Davies, Jim, <br/><br/>
Specification and proof in real-time csp / 
Jim Davies 
 - xvii, 180 páginas 
 - Distinguished dissertations in computer science .
<br/><br/><label>ISBN: </label>0521450551 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Procesamiento de datos en tiempo real
<br/><br/><label>LC Class. No.: </label>QA76.54  / D38