Jacvson  (Daniel) <br/><br/>
Software Abstractions Logic Languages and Analysis  

 - 1st 
 - New Delhi   PHI  
 - xiv 350 p 
<br/><br/><label>Dewey Class. No.: </label>621.392 JAC