First IEEE International Conference Conference ]sic[ on Formal Engineering Methods: proceedings, Hiroshima, Japan, November 12-14, 1997
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Los Alamitos
نام ناشر، پخش کننده و غيره
IEEE Computer Society Press
تاریخ نشرو بخش و غیره
1997
مشخصات ظاهری
نام خاص و کميت اثر
xi, 327 p.: ill.; 28 cm
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Engineering-- Methodology
عنصر شناسه ای
Congresses ، Computer software-- Development
رده بندی کنگره
شماره رده
TA
5
.
I415
1997
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
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
شناسه افزوده (تنالگان)
عنصر شناسه اي
IEEE International Conference on Formal Engineering Methods )1st: 1997: Hiroshima-shi, Japan(