عنوان
پدید آورنده
موضوع
رده
QA 76.6 .I185 1992
QA
76
.
6
.
I185
1992
کتابخانه
محل استقرار
شماره کتابشناسی ملی
کد کشور
IR
شماره
25091
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Formal description technique
نام عام مواد
[Book]
نام نخستين پديدآور
/ edited by K.R. Parker, G.A. Rose
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Amsterdam
نام ناشر، پخش کننده و غيره
: North-Holland
تاریخ نشرو بخش و غیره
, 1992
مشخصات ظاهری
نام خاص و کميت اثر
xv, 574 p.
ساير جزييات
: ill
ابعاد
; 24 cm
فروست
عنوان فروست
IFIP transactions. C, Communication systems
مشخصه جلد
; C-2
يادداشت کلی
متن يادداشت
English
متن يادداشت
ISBN: 0-444-89402-0
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Electronic digital computers -- Programming -- Congresses
موضوع مستند نشده
Formal languages -- Congresses
رده بندی کنگره
شماره رده
QA
76
.
6
نشانه اثر
.
I185
1992
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
IFIP TC6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (4th: 1991: Sydney, Australia), author
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Parker, K.R.
مستند نام اشخاص تاييد نشده
Rose, G.A.
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
International Federation for information processing. Technical Committee
مبدا اصلی
کشور
ایران
سازمان
University of Tehran. Library of Technical Camp 1
وضعیت فهرست نویسی
وضعیت فهرست نویسی
Old cataloging
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
Y
