کد فایل 1245945
قیمت: 57٬000 تومان
به نام خدا ارائه درس درستی یابی سیستم های واکنشی موضوع : Rebeca (Reactive Object Language) مقدمه real applications Rebeca formal verification یکی از ملزومات درستی یابی رسمی برای اطمینان از درستی سیستم ها داشتن یک روش کارآمد و مناسب برای مدل سازی سیستم های همروند و توزیع شده است.Rebeca یک زبا