نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Design and validation of computer protocols
پدید آورنده
Holzmann, Gerard J.
موضوع
Computer network protocols Design
رده
TK
5105
.
5
.
H645
1991
کتابخانه
کتابخانه مرکزی دانشگاه صنعتی امیرکبیر
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)
اطلاعات محلی رکورد
نوع مدرک
CE H1
عنوان و نام پديدآور
نام نخستين پديدآور
Holzmann, Gerard J.
عنوان اصلي
Design and validation of computer protocols
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Englewood Cliffs
نام ناشر، پخش کننده و غيره
Prentice-Hall
تاریخ نشرو بخش و غیره
1991
مشخصات ظاهری
نام خاص و کميت اثر
xii, 500 p. : ill
فروست
عنوان فروست
Prentice-Hall software series
يادداشت کلی
متن يادداشت
At head of title : AT & T
متن يادداشت
Includes bibliographical references and indexes
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Computer network protocols Design
رده بندی کنگره
شماره رده
TK
نشانه اثر
5105
.
5
شماره رکورد رده بندي
.
H645
شماره رکورد غير از شماره رده بندي
1991
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Gerard J. Holzmann
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد