edited by Habrias, Henri <br/><br/>
Software specification methods / 
edited by Henri Habrias and Marc Frappier 
 - United Kingdom  ISTE  2006 
 - 418 p. 
<br/><br/> This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS. 
<br/><br/><label>ISBN: </label>9781905209347 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software --Specifications.<br/>Formal methods (Computer science) ﾠ
<br/><br/><label>Dewey Class. No.: </label>004.0151 HAB-H