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

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