Shyamasundar, R K <br/><br/>
Real time programming   languages, specifications and verification 
R.K. Shyamasundar and S. Ramesh 
 - Singapore  World scientific  2010 
 - xv, 245p. 
<br/><br/><label>ISBN: </label>9789810225667 
<br/><br/><label>Subjects--Index Terms: </label>Programing - real time  Real-time languages-characteristics  Synchronous languages  Real time systems 
<br/><br/><label>Universal Decimal Class. No.: </label>004.451.7.031.43  / SHY