شماره رکورد

492

شماره راهنما

580م

عنوان مقاله

آشنايي با پژوهشكده علوم كامپيوتر

مشخصات ظاهري

5ص.

توصيفگر فارسي

پژوهشكده علوم كامپيوتر , آشنايي با روشهاي صوري در مهندسي نرم افزار ,

عنوان نشريه

اخبار

وضعيت نشر

مركز تحقيقات فيزيك نظري و رياضيات

سال

1384

ماه

زمستان

دوره

سال دوازدهم

جلد

شماره 39

صفحه

5-1