دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
دانلود کتاب همزمانی، امنیت و معماها: مقالات تقدیم به اندرو ویلیام روسکو به مناسبت شصتمین سالگرد تولد او
مشخصات کتاب
Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
ویرایش: 1 نویسندگان: Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić (eds.) سری: Lecture Notes in Computer Science 10160 ISBN (شابک) : 9783319510453, 9783319510460 ناشر: Springer International Publishing سال نشر: 2017 تعداد صفحات: 336 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 15 مگابایت
قیمت کتاب (تومان) : 53,000
کلمات کلیدی مربوط به کتاب همزمانی، امنیت و معماها: مقالات تقدیم به اندرو ویلیام روسکو به مناسبت شصتمین سالگرد تولد او: منطق و معانی برنامه ها، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی، شبکه های ارتباطی کامپیوتری، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب همزمانی، امنیت و معماها: مقالات تقدیم به اندرو ویلیام روسکو به مناسبت شصتمین سالگرد تولد او نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب همزمانی، امنیت و معماها: مقالات تقدیم به اندرو ویلیام روسکو به مناسبت شصتمین سالگرد تولد او
این جشن به افتخار اندرو ویلیام (بیل) روسکو به مناسبت شصتمین
سالگرد تولد او نوشته شده است و ادای احترامی از سر تونی هور،
استفن بروکس و مایکل وولدریج دارد. بیل روسکو یک مرجع بین
المللی در جبر فرآیند است و نیروی محرکه توسعه جستجوگر اصلاح
FDR برای CSP بوده است. او همچنین به دلیل کار پیشگام خود در
تجزیه و تحلیل پروتکل های امنیتی، مدل سازی جریان اطلاعات،
امنیت تعاملی انسانی و موارد دیگر شهرت جهانی دارد.
بسیاری از این زمینه‌ها در 15 مقاله پژوهشی دعوت‌شده در این
جشنواره، و در ارائه‌های سمپوزیوم \"BILL-60\" که در آکسفورد،
بریتانیا در 9 و 10 ژانویه 2017 برگزار شد، منعکس شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This festschrift was written in honor of Andrew William
(Bill) Roscoe on the occasion of his 60th birthday, and
features tributes by Sir Tony Hoare, Stephen Brookes, and
Michael Wooldridge. Bill Roscoe is an international authority
in process algebra, and has been the driving force behind the
development of the FDR refinement checker for CSP. He is also
world renowned for his pioneering work in analyzing security
protocols, modeling information flow, human-interactive
security, and much more.
Many of these areas are reflected in the 15 invited research
articles in this festschrift, and in the presentations at the
"BILL-60" symposium held in Oxford, UK, on January 9 and 10,
2017.
