نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
درباره پایگاه
ارتباط با ما
تاریخچه
عنوان
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
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد