ICFEM 2000
Subtitle: Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000
By: editors, Shaoying Liu, John A. McDermid, Michael G. Hinchey ; sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing, University of York.
Contributors: Liu, Shaoying, 1960-; McDermid, John.; Hinchey, Michael G. 1969-; IEEE Computer Society.
Publisher: IEEE Computer Society
Published: 2000
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 209
Subjects: Engineering -- Methodology -- Congresses.; Computer software -- Development -- Congresses.
Genres: Congresses.
Other titles: Formal engineering methods; Formal engineering methods; IEEE International Conference on Formal Engineering Methods; International Conference on Formal Engineering Methods
Notes: Includes bibliographical references and index.
"ICFEM 2000"--Half t.p.
"IEEE Computer Society Order Number PR00822"--Verso of t.p.