JACVSON  (DANIEL) <br/><br/>
Software Abstractions Logic Languages and Analysis  

 - N.DELHI    PHI  
<br/><br/><label>Dewey Class. No.: </label>621.392JAC