PDF
دانلود کتاب Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings
49,000 تومان
روشهای رسمی برای سیستمهای زمان واقعی و احتمالی: پنجمین کارگاه بینالمللی AMAST، ARTS’99 بامبرگ، آلمان، 26-28 مه، 1999 مجموعه مقالات
| موضوع اصلی | کامپیوتر – علوم کامپیوتر |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 362 / 363 |
| حجم فایل | 3.58 مگابایت |
| کد کتاب | 3540660100 , 9783540660101 |
| نوبت چاپ | 1 |
| نویسنده | Bengt Jonsson, Joost-Pieter Katoen (eds.), Wang Yi (auth.) |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 1999 |
مطلب پیشنهادی: با پول کتاب در ایران چی میشه خرید؟
در صورت نیاز به تبدیل فایل به فرمتهای PDF، EPUB، AZW3، MOBI و یا DJVU میتوانید به پشتیبان اطلاع دهید تا در صورت امکان، فایل مورد نظر را تبدیل نمایند.
سایت بَلیان دارای تخفیف پلکانی است، یعنی با افزودن کتاب بیشتر به سبدخرید، قیمت آن برای شما کاهش مییابد. جهت مشاهده درصد تخفیفها بر روی «جدول تخفیف پلکانی» در پایین کلیک نمایید.
جهت یافتن سایر کتابهای مشابه، از منو جستجو در بالای سایت استفاده نمایید.
شما میتوانید با هر 1000 تومان خرید، ۱ شانس شرکت در قرعهکشی کتابخانه دیجیتال بلیان دریافت کنید و شانس خود را برای برنده شدن جوایز هیجان انگیز امتحان کنید. «شرایط شرکت در قرعهکشی»
جدول کد تخفیف
با افزودن چه تعداد کتاب به سبدخرید، چند درصد تخفیف شامل آن خواهد شد؟ در این جدول پاسخ این سوال را خواهید یافت.
برای مثال: اگر بین ۳ الی ۵ کتاب را در سبد خرید خود قرار دهید، ۲۵ درصد تخفیف شامل سبدخرید شما خواهد شد.
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
توضیحات
This book constitutes the refereed proceedings of the Fifth International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems, ARTS ’99, held in Bamberg, Germany in May 1999.
The 17 revised full papers presented together with three invited contributions were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on verification of probabilistic systems, model checking for probabilistic systems, semantics of probabilistic process calculi, semantics of real-time processes, real-time compilation, stochastic process algebra, and modeling and verification of real-time systems.
The 17 revised full papers presented together with three invited contributions were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on verification of probabilistic systems, model checking for probabilistic systems, semantics of probabilistic process calculi, semantics of real-time processes, real-time compilation, stochastic process algebra, and modeling and verification of real-time systems.
ترجمه فارسی (ترجمه ماشینی)
این کتاب مجموعه مقالات داوری پنجمین کارگاه بینالمللی AMAST در روشهای رسمی برای سیستمهای زمان واقعی و احتمالاتی، ARTS ’99 است که در ماه می 1999 در بامبرگ، آلمان برگزار شد.
17 مقاله کامل اصلاحشده همراه با سه مشارکت دعوتشده ارائه شده است. از بین 33 مورد ارسالی به دقت بررسی و انتخاب شدند. مقالات در بخشهای موضوعی در مورد تأیید سیستمهای احتمالی، بررسی مدل برای سیستمهای احتمالی، معناشناسی محاسبات فرآیند احتمالی، معناشناسی فرآیندهای بیدرنگ، تدوین زمان واقعی، جبر فرآیند تصادفی، و مدلسازی و تأیید سیستمهای زمان واقعی سازماندهی شدهاند. .
نظرات (0)
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.