عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
electronic
عنوان و نام پديدآور
عنوان اصلي
Formal methods and software engineering. 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. proceedings
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2011
مشخصات ظاهری
نام خاص و کميت اثر
p. cm.
فروست
عنوان فروست
Lecture notes in computer science ;1996
يادداشت کلی
متن يادداشت
ISBN: 9783642245 3642245587
متن يادداشت
ng
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
]edited by[ Shengchao Qin, Zongyan Qiu
یادداشتهای مربوط به ویراست و تاریخچه کتابشناختی اثر
متن يادداشت
1st ed.
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، software engineering
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
TI
