خرید و دانلود نسخه کامل کتاب Real-time systems: specification, verification, and analysis
قیمت اصلی 167,000 تومان بود.92,000 تومانقیمت فعلی 92,000 تومان است.
تعداد فروش: 62
| عنوان فارسی |
سیستم های زمان واقعی: مشخصات ، تأیید و تجزیه و تحلیل |
|---|---|
| عنوان اصلی | Real-time systems: specification, verification, and analysis |
| ویرایش | 1st |
| ناشر | Prentice Hall |
| نویسنده | Mathai Joseph |
| ISBN | 9780134552972, 0134552970 |
| سال نشر | 1996 |
| زبان | English |
| تعداد صفحات | 290 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 2 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این متن گزارشی از سیستمهای بلادرنگ ارائه میکند: ساختارهای برنامه برای تحلیل زمانبندی بلادرنگ با استفاده از تئوری زمانبندی و مشخصات و تأیید در چارچوبهای مختلف. این ارائه از تحقیقات اخیر استفاده می کند که اثربخشی و کاربرد روش های مبتنی بر ریاضی را برای طراحی سیستم بلادرنگ نشان داده است. هر فصل بر روی یک تکنیک خاص تمرکز دارد و مثال ها به تقویت نظریه ارائه شده در متن کمک می کنند. پوشش شامل تئوری زمانبندی پیشرفته، و همچنین روشهای جدید مشخصات و تأیید است که با در نظر گرفتن یک مثال معمولی و غیر پیش پا افتاده به هم مرتبط شدهاند. تمام فصل ها شامل تمرین هایی در متن عمومی و همچنین تمرین های درجه بندی شده در پایان می باشد.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.