مشخصات کتاب

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 کیلوبایت 

در صورت تبدیل فایل کتاب 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

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Harry Potter and the Goblet of Fire (Book 4)

دانلود کتاب Fortress Scotland and the Jacobites

دانلود کتاب Multimedia Communications, Services and Security: 9th International Conference, MCSS 2017, Kraków, Poland, November 16-17, 2017, Proceedings

دانلود کتاب Sgaw Karen spelling book. ပှၤကညီအလံာ်မိၢ်ပှၢ့်

دانلود کتاب The School of Alexius Meinong