مدلسازی و تحلیل صوری سیستمها با توجه به الگوهای ارتباطی
سیده مهسا زرنشان
مدلسازی و تحلیل صوری سیستمها با توجه به الگوهای ارتباطی
نویسنده
سیده مهسا زرنشاننسخه 1
فهرست
شناسنامه
سرشناسه
زرنشان، سیده مهسا، نویسندهعنوان و نام پدیدآور
مدلسازی و تحلیل صوری سیستمها با توجه به الگوهای ارتباطی / سیده مهسا زرنشانمشخصات ظاهری
[14]، 60 ص.؛ جدول،نمودار،تصویر.موضوع
الگوهای ارتباطیاکتور
ارسال پیام،
ربكا (زبان برنامه نويسي رايانه اي)
ربکای زمانی
Rebeca (Computer program language)
زبان
فارسی