csp
ارتباط فرآیندهای متوالی Csp
دانلود کتاب Communicating Sequential Processes Csp (به فارسی: ارتباط فرآیندهای متوالی Csp) نوشته شده توسط «C A R Hoare» اطلاعات کتاب ارتباط فرآیندهای متوالی Csp موضوع اصلی: 1 نوع: کتاب الکترونیکی ناشر: Prentice Hall PTR نویسنده: C A R Hoare زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2004 تعداد صفحه: 260 حجم کتاب: 2 مگابایت دانلود کتاب «ارتباط فرآیندهای متوالی Csp»
سیستم های همزمان و زمان واقعی: رویکرد CSP
دانلود کتاب Concurrent and real time systems: the CSP approach (به فارسی: سیستم های همزمان و زمان واقعی: رویکرد CSP) نوشته شده توسط «Schneider – Steve» اطلاعات کتاب سیستم های همزمان و زمان واقعی: رویکرد CSP موضوع اصلی: داستان – کلاسیک نوع: کتاب الکترونیکی ناشر: John Wiley & Sons نویسنده: Schneider – Steve زبان: english فرمت کتاب: DJVU (قابل تبدیل به سایر فرمت ها) سال انتشار: 1999 تعداد صفحه: 510 / 527 حجم فایل: 2.99 مگابایت کد کتاب: 0471623733 , 9780471623731 نوبت چاپ: free web version دانلود کتاب «سیستم های همزمان و زمان واقعی: رویکرد CSP»
سیستم های همزمان و بلادرنگ: رویکرد CSP
دانلود کتاب Concurrent and Real-time Systems: The CSP Approach (به فارسی: سیستم های همزمان و بلادرنگ: رویکرد CSP) نوشته شده توسط «Steve Schneider» اطلاعات کتاب سیستم های همزمان و بلادرنگ: رویکرد CSP موضوع اصلی: کامپیوتر – برنامه نویسی نوع: کتاب الکترونیکی ناشر: Wiley نویسنده: Steve Schneider زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 1999 تعداد صفحه: 525 حجم فایل: 15.47 مگابایت کد کتاب: 0471623733 , 9780471623731 نوبت چاپ: 1 توضیحات کتاب سیستم های همزمان و بلادرنگ: رویکرد CSP رویکرد CSP به طور گسترده در مشخصات، تجزیه و تحلیل و تأیید سیستم‌های همزمان و بلادرنگ،…
مشخصات و اثبات در CSP بلادرنگ
دانلود کتاب Specification and proof in real-time CSP (به فارسی: مشخصات و اثبات در CSP بلادرنگ) نوشته شده توسط «Jim Davies» اطلاعات کتاب مشخصات و اثبات در CSP بلادرنگ نوع: کتاب الکترونیکی ناشر: Cambridge University Press نویسنده: Jim Davies زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 1993 تعداد صفحه: 199 حجم فایل: 2.03 مگابایت کد کتاب: 0521450551 , 9780521450553 توضیحات کتاب مشخصات و اثبات در CSP بلادرنگ سیستم‌های محاسباتی بسیار پیچیده‌تر می‌شوند، درک آن سخت‌تر و در نتیجه بیشتر مستعد شکست هستند. برای مثال، در جایی که چنین سیستم هایی هواپیما را کنترل می…