GERALD J HOLZMANN <br/><br/>
DESIGN AND VALIDATION OF COMPUTER PROTOCOLS 

 -  PRENTICE-HALL  1990 
 - 500 
<br/><br/><label>ISBN: </label>0135399254 
<br/><br/><label>Subjects--Topical Terms: </label><br/>COMPUTER SCIENCE NETWORKS 
<br/><br/><label>Dewey Class. No.: </label>004.62             N  / GER