Oldwerog, Ernst-Rudiger <br/><br/>
Real time systems  formal specification and automatic verification 

 - USA  Cambridge University Press 
 - Hard Binding  xiv       320 
<br/><br/><br/>English 
<br/><br/><label>ISBN: </label>9780000000000 
<br/><br/><label>Subjects--Topical Terms: </label>--Real time systems, Oldwerog, Ernst-Rudiger, Dierks, Henning, Computer Science
<br/><br/><label>Dewey Class. No.: </label>004.33    -R