Davies, Jim <br/><br/>
Specification And Proof In Real Time Csp 
Jim Davies 
 - Cambridge  Cambridge university press  1993 
 - ix, 180 p.  26 cm. 
<br/><br/>Includes index 
<br/><br/><label>ISBN: </label>9780521450553 
<br/><br/><label>Subjects--Topical Terms: </label><br/> real-time data processing
<br/><br/><label>Dewey Class. No.: </label>004.33  / DAV