• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات
  • حول الموقع
  • اتصل بنا
  • نشأة

عنوان
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

الاقتراح / اعلان الخلل

تحذیر! دقق في تسجیل المعلومات
ارسال عودة
تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال