Construction and analysis of transition systems with MEC
By: André Arnold, Didier Bégay, Paul Crubillé.
Contributors: Bégay, Didier.; Crubillé, Paul.
Series: AMAST series in computing ;; vol. 3
Publisher: World Scientific
Published: 1994
Place of publication: Singapore; River Edge, NJ
Language: eng
Number of pages: 192
Subjects: Computer software -- Development.; Software engineering.
Notes: Includes bibliographical references (p. 187-189) and index.