Mizuno, T.  / Vshiraior , N.  / Higashino, T . Togashi, A . <br/><br/>
Formal description techniqices and protocol specification testing and verification forte  x / PSTV XVII .97 

 - London  Chapman  1997 
 - xi, 550p.: ill.  hbk 
<br/><br/><label>ISBN: </label>0412820609 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Technological innovation  Communication