Habrias, Henri (editor) Marc Frappier (editor) creator text India ISTE 2007 monographic xxv, 418 p. : ill. ; 25 cm. Computer science Formal methods Computer software UML VDHL E-Lotos SDL Petri nets FC 004.0151 SOF 9781905209347 (Hb) 1905209347 9781905209347