آزمون گر ربكا براساس منطق محاسبات درختي CTL
/ مهدي سرمدي
آزمون گر ربكا براساس منطق محاسبات درختي CTL
المؤلف
/ مهدي سرمديطبع 1
قائمة
شناسنامه
المدخل الرئيسي
سرمدي، مهدي، نویسندهالعنوان واسم المؤلف
آزمون گر ربكا براساس منطق محاسبات درختي CTL / / مهدي سرمدياللغة
فارسی