Second International Conference on Formal Engineering Methods
Subtitle: proceedings : December 9-11, 1998, Brisbane, Australia
By: edited by John Staples, Michael G. Hinchey, and Shaoying Liu ; sponsored by IEEE Computer Society ... [et al.].
Contributors: Staples John.; Hinchey, Michael G. 1969-; Liu, Shaoying, 1960-; IEEE Computer Society.
Publisher: IEEE Computer Society Press
Published: 1998
Place of publication: Los Alamitos, California
Language: eng
Number of pages: 235
Subjects: Engineering -- Methodology -- Congresses.; Computer software -- Development -- Congresses.
Other titles: Formal Engineering Methods; Formal Engineering Methods
Notes: Includes bibliographical references and author index.
"ICFEM'98"--half T.p.
"IEEE Computer Society Order Number PR09198"--verso of T.p.
"IEEE Order Plan Catalog Number 98EX2421"--verso of T.p.