عنوان
پدید آورنده
موضوع
رده
QA 76.6 .I1778 1989
QA
76
.
6
.
I1778
1989
کتابخانه
محل استقرار
شابک
شابک
0-44488544-7
شماره کتابشناسی ملی
کد کشور
IR
شماره
123257
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Formal description techniques, II
نام عام مواد
[Book]
ساير اطلاعات عنواني
: proceedings of the IFIP TC/ WG 6.1. Second International Conference on Formal Description on Techniques for Distributed Systems and Communications Protocols, FORTE 89, Vancouver, Canada, 5-8 December 1989
نام نخستين پديدآور
/ Edited by Son T. Vuong
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
: North - Holland
تاریخ نشرو بخش و غیره
, 1990
مشخصات ظاهری
نام خاص و کميت اثر
xiii, 549 p.
ابعاد
; 24 cm
يادداشت کلی
متن يادداشت
انگليسي
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Electronic digital computers -- Programming -- Congresses
موضوع مستند نشده
Formal languages-- Congresses
رده بندی کنگره
شماره رده
QA
76
.
6
نشانه اثر
.
I1778
1989
نام شخص - ( مسئولیت معنوی درجه دوم )
عنصر شناسه اي
Vuong
عنصر شناسه اي
IFIP TC/ WG 6.1.
ساير عناصر نام
, Son T.
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
IFIP TC5/WG 5.7 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols
شماره همايش ويا شماره بخشي از همايش
( 2nd
تاريخ همايش
: Vancouver, B.C.)
محل همايش
: 1989
مبدا اصلی
کشور
Iran
سازمان
Central Library Of Tehran University
وضعیت فهرست نویسی
وضعیت فهرست نویسی
Old cataloging
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
Y
