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

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

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

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