Software specification methods 
edited by Henri Habrias, Marc Frappier. 
 - London  ISTE  2006 
 - xxv, 418p.; 23cm. 
<br/><br/><label>ISBN: </label>1905209347 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (Computer Science) Computer software - spacifications. 
<br/><br/><label>Dewey Class. No.: </label>004.0151  / S61S