Habrias, Henri (editor)  Marc Frappier (editor) <br/><br/>
Software specification methods 

 - India  ISTE  2007 
 - xxv, 418 p.   : ill.  ; 25 cm. 
<br/><br/><label>ISBN: </label>9781905209347 (Hb) 1905209347 9781905209347 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science<br/>Formal methods<br/>Computer software--UML--VDHL--E-Lotos--SDL--Petri nets--FC
<br/><br/><label>Dewey Class. No.: </label>004.0151  / SOF