مشاهده‌ مشخصات مقاله

Logical Languages for Specification and verification of Reactive System's Behavior

نویسنده (ها)	Ayaz Isazadeh Jaber Karimpour
مربوط به کنفرانس	نهمین کنفرانس سالانه انجمن کامپیوتر ایران
چکیده
قیمت	برای اعضای سایت : ۱٠٠,٠٠٠ ریال برای دانشجویان عضو انجمن : ۲٠,٠٠٠ ریال برای اعضای عادی انجمن : ۴٠,٠٠٠ ریال

خرید مقاله

کنفرانس‌ها و رخدادها

تمام حقوق مادی و معنوی این سایت متعلق به انجمن کامپیوتر ایران می باشد و استفاده از مطالب با ذکر منبع بلامانع است.



ثبت‌نام در سایت رمز عبور را فراموش کرده ام