Habrias Henri  <br/><br/>
Software Specification Methods 
Henri Habrias,Marc Frappier 
 - Usa  Iste  2007 
 - xxv; 418 p.  25 cm. 
<br/><br/>Includes index 
<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/><br/><label>ISBN: </label>9781905209347 
<br/><br/><label>Subjects--Topical Terms: </label><br/> computers computer software specifications electronic books
<br/><br/><label>Dewey Class. No.: </label>004.0151  / HAB