Jackson D <br/><br/>
"Software Abstactions: Logic, Language, and Analysis" 

 - 
 - "xvi,350" 
 - .
<br/><br/> - 
<br/><br/><br/>English 
<br/><br/><label>ISBN: </label>978-81-203-3170-9 
<br/><br/><label>Subjects--Topical Terms: </label><br/>"Computer Science, "Software