نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Formal methods in Standards: a report form the BCS working group
پدید آورنده
/ C. L. N. Ruggles ed, Principlal Contributors Derek Andrews.. [et al.]
موضوع
Electronic data processing - Standards - Great Britain
رده
QA76
.
9
.
S8F67
1990
کتابخانه
کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز
محل استقرار
استان:
آذربایجان شرقی
ـ شهر:
تبریز
تماس با کتابخانه :
04133294120
-
04133294118
شماره کتابشناسی ملی
کد کشور
IR
شماره
78-14674
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Formal methods in Standards: a report form the BCS working group
نام عام مواد
[Book]
نام نخستين پديدآور
/ C. L. N. Ruggles ed, Principlal Contributors Derek Andrews.. [et al.]
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London
نام ناشر، پخش کننده و غيره
: Springer Verlag
تاریخ نشرو بخش و غیره
, 1990.
مشخصات ظاهری
نام خاص و کميت اثر
135 p. ; 24 cm
يادداشت کلی
متن يادداشت
Language: انگلیسی
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Electronic data processing - Standards - Great Britain
رده بندی کنگره
شماره رده
QA76
.
9
نشانه اثر
.
S8F67
1990
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Ruggles C. L. N. (Clive L. N.)
مستند نام اشخاص تاييد نشده
Andrew, Derek
مستند نام اشخاص تاييد نشده
British Computer Society Formal methods in Standards Working Group
مبدا اصلی
کشور
ایران
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد