عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
حول الموقع
اتصل بنا
نشأة
عنوان
Design and validation of computer protocols
پدید آورنده
/ Gerard J. Holzmann
موضوع
Computer network protocols -- Design
رده
TK
5105
.
5
.
H65
1991
کتابخانه
مكتبات الكلية التقنية بجامعة طهران
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
88225387
-
021
0-135-39834-7
IR
9130
انگلیسی
IR
Design and validation of computer protocols
[Book]
/ Gerard J. Holzmann
Englewood Cliffs, N. J.
: Prentice-Hall
, 1991
xii, 500p.
: ill.
; 25 cm
Prentice Hall software series
English
At head of title: AT & T
Includes bibliographical references and indexes
Computer network protocols -- Design
TK
5105
.
5
.
H65
1991
Holzmann, Gerard J, author
American Telephone and Telegraph Company
Iran
University of Tehran. Library of Technical Camp 2
Old cataloging
p
BL
1
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح