عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
حول الموقع
اتصل بنا
نشأة
عنوان
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
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح