خرید و دانلود نسخه کامل کتاب Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers
قیمت اصلی 131,000 تومان بود.56,000 تومانقیمت فعلی 56,000 تومان است.
تعداد فروش: 62
| عنوان فارسی |
مدل سازی رسمی و تجزیه و تحلیل سیستم های به موقع: اولین کارگاه بین المللی ، FORMATS 2003 ، مارسی ، فرانسه ، 6-7 سپتامبر ، 2003. مقالات اصلاح شده |
|---|---|
| عنوان اصلی | Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.) |
| ISBN | 3540216715, 9783540216711 |
| سال نشر | 2004 |
| زبان | English |
| تعداد صفحات | 285 |
| دسته | ستاره شناسی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 4 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب اولین کارگاه بینالمللی مدلسازی و تحلیل رسمی سیستمهای زمانبندی شده، FORMATS 2003، که در سپتامبر 2003 در مارسی، فرانسه برگزار شد، با داوری کامل است.
19 مقالات کامل اصلاح شده همراه با یک مقاله دعوت شده و چکیده دو گفتگوی دعوت شده با دقت از بین 36 مورد ارسالی طی دو دور بررسی و بهبود انتخاب شدند. تمام جنبه های فعلی روش رسمی برای مدل سازی و تجزیه و تحلیل سیستم های زمان بندی شده پرداخته شده است. از جمله سیستمهای زماندار میتوان به خودکارهای زماندار، شبکههای پتری زماندار، جبرهای حداکثر پلاس، سیستمهای بیدرنگ، سیستمهای زمان گسسته، زبانهای زماندار و سیستمعاملهای بیدرنگ اشاره کرد.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.