First IEEE International Conference Conference [sic] on Formal Engineering Methods
Subtitle: proceedings, Hiroshima, Japan, November 12-14, 1997
By: sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing in cooperation with Software Engineers Association of Japan ... [et al.] ; [edited by Michael G. Hinchey and Shaoying Liu].
Contributors: Hinchey, Michael G. 1969-; Liu, Shaoying, 1960-; IEEE Computer Society.; IEEE Computer Society. Technical Committee on Complexity in Computing.
Publisher: IEEE Computer Society Press
Published: 1997
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 327
Subjects: Engineering -- Methodology -- Congresses.; Computer software -- Development -- Congresses.
Other titles: Formal engineering methods; First IEEE International Conference on Formal Engineering Methods
Notes: Includes bibliographical references and index.
"IEEE Computer Society order number PR08002"--T.p. verso.
"IEEE order plan catalog number 97TB100188"--T.p. verso.