Software specification methods  [electronic resource] / 
edited by Henri Habrias, Marc Frappier. 
 - London ;  Newport Beach, CA :  ISTE Ltd.,  2006. 
 - 1 online resource (1 v.) :  ill. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>
<br/><br/><label>Source: </label>CL0500000225  Safari Books Online 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (Computer science)<br/>Computer software--Specifications.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.