دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Distributed Systems: Methods and Tools for Specification An Advanced Course
دانلود کتاب سیستم های توزیع شده: روش ها و ابزار برای مشخص کردن یک دوره پیشرفته
مشخصات کتاب
Distributed Systems: Methods and Tools for Specification An Advanced Course
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: M. Paul, H. J. Siegert, M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Liskov, G. P. Mullery, F. B. Schneider (eds.) سری: Lecture Notes in Computer Science 190 ISBN (شابک) : 3540152164, 9783540152163 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1985 تعداد صفحات: 575 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 29 مگابایت
قیمت کتاب (تومان) : 30,000
کلمات کلیدی مربوط به کتاب سیستم های توزیع شده: روش ها و ابزار برای مشخص کردن یک دوره پیشرفته: شبکه های ارتباطی کامپیوتری
در صورت تبدیل فایل کتاب Distributed Systems: Methods and Tools for Specification An Advanced Course به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های توزیع شده: روش ها و ابزار برای مشخص کردن یک دوره پیشرفته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Introduction....Pages 1-6
Basic concepts....Pages 7-43
Acquisition — environment....Pages 45-130
A graph model based approach to specifications....Pages 131-201
Formal foundation for specification and verification....Pages 203-285
Language constructs for distributed programs....Pages 287-341
The argus language and system....Pages 343-430
Paradigms for distributed programs....Pages 431-480
Issues and tools for protocol specification....Pages 481-538
Conclusion....Pages 539-547
نظرات کاربران
کتاب های مرتبط
دانلود کتاب The Algebra of Programming
دانلود کتاب Location and Context Awareness: 4th International Symposium, LoCA 2009 Tokyo, Japan, May 7-8, 2009 Proceedings
دانلود کتاب Resumes for Computer Careers, Second Edition
دانلود کتاب Computer Forensics: Computer Crime Scene Investigation ~ 2nd Edition (Networking Series)
دانلود کتاب iPhone Application Development For Dummies
دانلود کتاب Software Technologies for Embedded and Ubiquitous Systems: 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings
دانلود کتاب iOS and OS X Network Programming Cookbook
