Construction and analysis of transition systems with MEC / André Arnold, Didier Bégay, Paul Crubillé.
Material type: TextSeries: AMAST series in computing ; vol. 3Publication details: Singapore ; River Edge, NJ : World Scientific, c1994.Description: vii, 192 p. : ill. ; 23 cmISBN:- 9810219229
- QA76.76.D47 A76 1994
No physical items for this record
Includes bibliographical references (p. 187-189) and index.
There are no comments on this title.