Alagar, V.S.  <br/><br/>
Specification of software systems  

 - 2nd ed. 
 - New York  Springer  2011 
 - xxv, 644p. ; 24cm. 
 - Texts in computer science  .
<br/><br/><label>ISBN: </label>9780857292766 
<br/><br/><label>Dewey Class. No.: </label>005.1  / ALA