First IEEE International Conference Conference ]sic[ on Formal Engineering Methods: proceedings, Hiroshima, Japan, November 12-14, 1997
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Los Alamitos
Name of Publisher, Distributor, etc.
IEEE Computer Society Press
Date of Publication, Distribution, etc.
1997
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xi, 327 p.: ill.; 28 cm
GENERAL NOTES
Text of Note
Includes bibliographical references and index
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Engineering-- Methodology
Entry Element
Congresses ، Computer software-- Development
LIBRARY OF CONGRESS CLASSIFICATION
Class number
TA
5
.
I415
1997
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
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[
AU (drareG leahciM) .G leahciM ,yehcniH 1969-
AU gniyoahS ,uiL 1960-
CO IEEE Computer Society
CO IEEE Computer Society. Technical Committee on Complexity in Computing
TI
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
IEEE International Conference on Formal Engineering Methods )1st: 1997: Hiroshima-shi, Japan(