انجمن کامپیوتر ایران

برای عضویت کلیک کنید

ورود | ثبت‌نام

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

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

Ayaz Isazadeh, Jaber Karimpour

نویسنده (ها)

نهمین کنفرانس سالانه انجمن کامپیوتر ایران

مربوط به کنفرانس

چکیده

برای اعضای سایت : ۱٠٠,٠٠٠ ریال
برای دانشجویان عضو انجمن : ۲٠,٠٠٠ ریال
برای اعضای عادی انجمن : ۴٠,٠٠٠ ریال

قیمت

خرید مقاله

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