Arnold, A.  1945- <br/><br/>
Construction and analysis of transition systems with MEC / 
André Arnold, Didier Bégay, Paul Crubillé. 
 - Singapore ;  River Edge, NJ :  World Scientific,  c1994. 
 - vii, 192 p. :  ill. ;  23 cm. 
 - AMAST series in computing ;  vol. 3 .
<br/><br/>Includes bibliographical references (p. 187-189) and index. 
<br/><br/><label>ISBN: </label>9810219229 
<br/><br/><label>LCCN: </label>95160957  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development.<br/>Software engineering.
<br/><br/><label>LC Class. No.: </label>QA76.76.D47  / A76 1994