• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
Design and validation of computer protocols

پدید آورنده
/ Gerard J. Holzmann.,ه‍ال‍زم‍ن‌,Holzmann

موضوع
پروتکل‌های شبکه کامپیوتری -- طراحی,Computer network protocols -- Design.

رده
TK
۵۱۰۵
/
۵
/
ھ
۲
د
۹ ۱۳۷۰

کتابخانه
سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران

محل استقرار
استان: تهران ـ شهر: تهران

سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران

تماس با کتابخانه : 88644104-021

شابک

شابک
0-13-539834-7

شماره کتابشناسی ملی

شماره
‎۲‎۴‎۲‎۳‎۳‎۴‎۳

زبان اثر

زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی

عنوان و نام پديدآور

عنوان اصلي
Design and validation of computer protocols
نام عام مواد
[کتاب]
نام نخستين پديدآور
/ Gerard J. Holzmann.
خط فهرست نويسي و خط اصلي شناسه
ba

وضعیت نشر و پخش و غیره

محل نشرو پخش و غیره
Englewood Cliffs, N.J.
نام ناشر، پخش کننده و غيره
: Prentice-Hall international , inc
تاریخ نشرو بخش و غیره
=1370.
خط فهرستنویسی و خط اصلی شناسه
ba

مشخصات ظاهری

نام خاص و کميت اثر
xii،۵۰۰ص.
ساير جزييات
: مصور،جدول.

فروست

عنوان فروست
Prentice Hall software series
عنوان فروست
Prentice-Hall international editions.
نام پديدآور
/ Brain W. Kernighan , advisor.
خط فهرستنویسی و خط اصلی شناسه
ba
خط فهرستنویسی و خط اصلی شناسه
ba

يادداشت کلی

متن يادداشت
انگلیسی.

یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر

متن يادداشت
کتابنامه.
متن يادداشت
نمایه.

یادداشتهای مربوط به مندرجات

متن يادداشت
At head of title: AT & T.
خط فهرستنویسی و خط اصلی شناسه
ba
بدون عنوان
1

آوانویسی عنوان

آوانویسی عنوان
دیزاین ول‍ی‍دی‍ش‍ن‌ آو...

موضوع (اسم عام یاعبارت اسمی عام)

موضوع مستند نشده
پروتکل‌های شبکه کامپیوتری -- طراحی
موضوع مستند نشده
Computer network protocols -- Design.

رده بندی ديویی

شماره
۰۰۴
/
۶۲

رده بندی کنگره

شماره رده
TK
۵۱۰۵
/
۵
نشانه اثر
/
ھ
۲
د
۹ ۱۳۷۰

نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )

عنصر شناسه اي
ه‍ال‍زم‍ن‌
عنصر شناسه اي
Holzmann
ساير عناصر نام
، ج‍رارد
ساير عناصر نام
, Gerard J.
شماره رکورد مستند
147779
داده رابط بین فیلدها
a01
داده رابط بین فیلدها
a01
خط فهرست نویسی
ba

شناسه افزوده (تنالگان)

خط فهرست نویسی
ba
مستند نام تنالگان تاييد نشده
شرکت آمریکایی تلفن و تلگراف
مستند نام تنالگان تاييد نشده
American Telephone and Telegraph Company.

مبدا اصلی

کشور
ایران
سازمان
کتابخانه ملی ایران
تاريخ عمليات
20110808

وضعیت فهرست نویسی

وضعیت فهرست نویسی
«برون سپاری/ دردست مستند سازی»

اطلاعات رکورد کتابشناسی

نوع ماده
BF
کد کاربرگه
90163

اطلاعات دسترسی رکورد

سطح دسترسي
a
تكميل شده
Y

وضعیت مدرک

وضعیت کتابشناسی مدرک
Y

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال