عنوان
پدید آورنده
موضوع
رده
TA 5 .I415 1997
TA
5
.
I415
1997
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
117872
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
زمستان۹۷
.Language of Text, Soundtrack etc
English
TITLE AND STATEMENT OF RESPONSIBILITY
General Material Designation
)91(
Title Proper
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(
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
129
