HOOMAN, Jozef <br/><br/>
Specification and compositional verification of real-time systems 
Jozef Hooman 
 - Berlin;  Heidelberg;  New York   Springer-Verlag  1991 
 - VIII, 235 p.  tab. ; 24 cm 
 - Lecture Notes in Computer Science (LNCS)\\Springer\  558 .
<br/><br/><label>ISBN: </label>0-387-54947-1;  3-540-54047-1 
<br/><br/><label>Source: </label>C-182610 
<br/><br/><label>Index Terms--Genre/Form: </label><br/> carte de studiu
<br/><br/><label>Universal Decimal Class. No.: </label>004.031.43