دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Design and validation of computer protocols
دانلود کتاب طراحی و اعتبار سنجی پروتکل های کامپیوتری
مشخصات کتاب
Design and validation of computer protocols
ویرایش: نویسندگان: Gerard J Holzmann, American Telephone and Telegraph Company سری: Prentice-Hall software series ISBN (شابک) : 0135399254, 9780135399255 ناشر: Prentice Hall سال نشر: 1991 تعداد صفحات: 5 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 278 کیلوبایت
قیمت کتاب (تومان) : 37,000
در صورت تبدیل فایل کتاب Design and validation of computer protocols به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب طراحی و اعتبار سنجی پروتکل های کامپیوتری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب طراحی و اعتبار سنجی پروتکل های کامپیوتری
این جلد مشکلات اساسی طراحی روش‌های منطقی سازگار ارتباط بین چندین فرآیند رایانه را مورد بحث قرار می‌دهد. مشکلات طراحی پروتکل استاندارد، مانند کنترل خطا و کنترل جریان، با جزئیات پوشش داده شده است، اما همچنین روش‌های طراحی ساختاریافته و ساخت مدل‌های اعتبارسنجی رسمی. این کتاب شامل فهرست‌ها و توضیحات کاملی درباره ابزار طراحی و اعتبارسنجی پروتکل جدید به نام SPIN است. نویسنده مسئول طراحی پروتکل در آزمایشگاه بل است. حرفه ای هایی که شبکه های کامپیوتری Tanenbaum، 2/E و TCP/IP Comer را خریداری کرده اند، این را خواهند خرید. این اولین کتابی است که به طور گسترده ابزارهای طراحی و اعتبارسنجی پروتکل خودکار را پوشش می دهد.
توضیحاتی درمورد کتاب به خارجی
This volume discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol design problems, such as error control and flow control, are covered in detail, but also structured design methods and the construction of formal validation models. The book contains complete listings and explanations of new protocol validation and design tool called SPIN. Author is in charge of protocol design at Bell Labs. Professionals who bought Tanenbaum's COMPUTER NETWORKS, 2/E and Comer's TCP/IP will buy this. This is the first book to cover automated protocol design and validation tools extensively.
فهرست مطالب
preface......Page 12
contents......Page 2
ch1......Page 15
ch2......Page 33
ch3......Page 57
ch4......Page 80
ch5......Page 104
ch6......Page 125
ch7......Page 142
ch8......Page 176
ch9......Page 201
ch10......Page 217
ch11......Page 228
ch12......Page 257
ch13......Page 311
ch14......Page 332
conclusion......Page 365
references......Page 366
appA......Page 381
appB......Page 394
appC......Page 397
appD......Page 407
appE......Page 450
appF......Page 542
name_index......Page 551
subject_index......Page 553
نظرات کاربران
کتاب های تصادفی
دانلود کتاب How and why in science
دانلود کتاب Windows Ransomware Detection and Protection: Securing Windows Endpoints, the Cloud, and Infrastructure Using Microsoft Intune, Sentinel, and Defender
دانلود کتاب A Taste for Empire and Glory: Studies in British Overseas Expansion, 1660-1800
دانلود کتاب The Geography of Spain: A Complete Synthesis
