عنوان
پدید آورنده
موضوع
رده
QA 76.6 .I185 1990
QA
76
.
6
.
I185
1990
کتابخانه
محل استقرار
شابک
شابک
0-444-89024-6
شماره کتابشناسی ملی
کد کشور
IR
شماره
123278
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Formal description techniques III
نام عام مواد
[Book]
ساير اطلاعات عنواني
: Proceedings of the IFIP TC/WG 6.1 third International Conference on formal Description Techniques for Distributed Systems and Communications Protocols FORTE 90 Madrid Spain 5-8 November 1990
نام نخستين پديدآور
/ Edited by Juan Quemada, Jose Manas, Enrique Vazquez
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Amsterdam
نام ناشر، پخش کننده و غيره
: North - Holland
تاریخ نشرو بخش و غیره
, 1991
مشخصات ظاهری
نام خاص و کميت اثر
xvii, 584 p.
ساير جزييات
:fig
ابعاد
; 25 cm
يادداشت کلی
متن يادداشت
انگليسي
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Electronic digital computers -- Programming -- Congresses
موضوع مستند نشده
Formal languages-- Congresses
رده بندی کنگره
شماره رده
QA
76
.
6
نشانه اثر
.
I185
1990
نام شخص - ( مسئولیت معنوی درجه دوم )
عنصر شناسه اي
Quemada
عنصر شناسه اي
Manas
عنصر شناسه اي
Vazquez
عنصر شناسه اي
Formal description techniques
عنصر شناسه اي
Formal description techniques
ساير عناصر نام
, Juan
ساير عناصر نام
, Jose
ساير عناصر نام
, Enrique
ساير عناصر نام
, 3
ساير عناصر نام
, Three
تاريخ
, 1953-
تاريخ
, 1956-
تاريخ
, 1960-
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
IFIP TC6 International Conference on Formal Description Techniques Distributed Systems and Communications Protocols
شماره همايش ويا شماره بخشي از همايش
3rd
تاريخ همايش
: Madrid Spain
محل همايش
: 1990
مبدا اصلی
کشور
Iran
سازمان
Central Library Of Tehran University
وضعیت فهرست نویسی
وضعیت فهرست نویسی
Old cataloging
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
Y
