نویسندگان
دانشکدهی مهندسی کامپیوتر، دانشگاه صنعتی شریف
چکیده
کلیدواژهها
عنوان مقاله [English]
نویسندگان [English]
-
کلیدواژهها [English]
میریان حسین آبادی, سیدحسن, جلالی, آرش. (1382). محیطی برای تولید برنامه از توصیف صوری. مهندسی عمران, دوره 19(25 - ویژه علوم و مهندسی), 42-53.
سیدحسن میریان حسین آبادی; آرش جلالی. "محیطی برای تولید برنامه از توصیف صوری". مهندسی عمران, دوره 19, 25 - ویژه علوم و مهندسی, 1382, 42-53.
میریان حسین آبادی, سیدحسن, جلالی, آرش. (1382). 'محیطی برای تولید برنامه از توصیف صوری', مهندسی عمران, دوره 19(25 - ویژه علوم و مهندسی), pp. 42-53.
میریان حسین آبادی, سیدحسن, جلالی, آرش. محیطی برای تولید برنامه از توصیف صوری. مهندسی عمران, 1382; دوره 19(25 - ویژه علوم و مهندسی): 42-53.