نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Design and validation of computer protocols
پدید آورنده
Holzmann, Gerard J.
موضوع
، Computer network protocols- Design
رده
TK
5105
.
5
.
H64
کتابخانه
كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
88881052
-
88881042
-
021
عنوان و نام پديدآور
عنوان اصلي
Design and validation of computer protocols
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Englewood Cliffs, N.J.
نام ناشر، پخش کننده و غيره
Prentice-Hall
تاریخ نشرو بخش و غیره
c1991
مشخصات ظاهری
نام خاص و کميت اثر
xii, 500 p. : ill
فروست
ساير اطلاعات عنواني
Prentice Hall software series
يادداشت کلی
متن يادداشت
Includes bibliographical references and indexes
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
Gerard J. Holzmann
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
متن يادداشت
2
متن يادداشت
3
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Computer network protocols- Design
رده بندی کنگره
شماره رده
TK
5105
.
5
.
H64
سایر رده بندی ها
شماره رده
NO
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Holzmann, Gerard J.
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU American Telephone and Telegraph Company
عنصر شناسه اي
TI
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد