شماره کتابشناسی ملی
کد کشور
IR
شماره
51
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
نام عام مواد
[Book]
نام نخستين پديدآور
/ Kung-Kiu Lau, Richard Banach (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ; New York
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2005.
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 496 p.
ساير جزييات
: ill.
ابعاد
; 24 cm
فروست
عنوان فروست
(Lecture notes in computer science, 0302-9743
مشخصه جلد
; 3785)
يادداشت کلی
متن يادداشت
Language: انگلیسی
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
Portion of Title:7th International Conference on Formal Engineering Methods.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Index
متن يادداشت
Bibliography
عنوانهای گونه گون دیگر
عنوان گونه گون
7th International Conference on Formal Engineering Methods
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Formal methods (Computer science)--Congresses
موضوع مستند نشده
Software engineering--Congresses
رده بندی کنگره
شماره رده
QA76
.
9
نشانه اثر
.
F67
I57
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Lau, K.-K. (Kung-Kiu)، 1953-
مستند نام اشخاص تاييد نشده
Banach, Richard
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England)
مبدا اصلی
کشور
ایران
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
