Yeh, Raymond Tzuu-Yau, 1937- <br/><br/>
Current trends in programming methodology, volume II : program validation  [Books]. 
edited by Raymond T. Yeh. 
 - Englewood Cliffs, New Jersey  Prentice-Hall  1977 
 - Pages: 322 
<br/><br/><label>ISBN: </label>0131957198  0.00 
<br/><br/><label>Subjects--Personal Names: </label><br/>Programming (Electronic computers)
<br/><br/><label>Dewey Class. No.: </label>QA/76.6  / CUR