LOECKX,JACQUES, SIEBER,KURT <br/><br/>
FOUNDATIONS OF PROGRAM VERIFICATION 

 - 1 
 - CHICHESTER  JW  1987 
 -  230 
<br/><br/><label>ISBN: </label>NCST  22.5 
<br/><br/><label>Dewey Class. No.: </label>485