عنوان
پدید آورنده
موضوع
رده
QA 76.6 .I1779 1991
QA
76
.
6
.
I1779
1991
کتابخانه
محل استقرار
شابک
شابک
0-444-89184-6
شماره کتابشناسی ملی
کد کشور
IR
شماره
123269
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Constructing Progarms from specifications
نام عام مواد
[Book]
ساير اطلاعات عنواني
: Proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, 13-16 May, 1991
نام نخستين پديدآور
/ Edited by B. Moller
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Amsterdam, New York
نام ناشر، پخش کننده و غيره
: North - Holland
تاریخ نشرو بخش و غیره
, 1991
مشخصات ظاهری
نام خاص و کميت اثر
x, 515 p.
ابعاد
; 24 cm
يادداشت کلی
متن يادداشت
انگليسي
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Electronic digital computers -- Programming -- Congresses
رده بندی کنگره
شماره رده
QA
76
.
6
نشانه اثر
.
I1779
1991
نام شخص - ( مسئولیت معنوی درجه دوم )
عنصر شناسه اي
Moller
ساير عناصر نام
, B.
تاريخ
, 1953-
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
IFIP TC2/ WG.1 Working Conference on Constructing Programs from Specifications
شماره همايش ويا شماره بخشي از همايش
(1991
محل همايش
: Pacific Grove, Calif)
مبدا اصلی
کشور
Iran
سازمان
Central Library Of Tehran University
وضعیت فهرست نویسی
وضعیت فهرست نویسی
Old cataloging
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
Y
