BAKKER JACO DE <br/><br/>
MATHEMATICAL THEORY OF PROGRAMME CORRECTNESS 

 - LONDON  Prentice Hall  1980 
 - 24X17 
<br/><br/><label>Dewey Class. No.: </label>621.3819642 B168