

ÇÁ·¹µå ·Õ
¿µ±¹ Aberystwyth´ëÇÐ ÄÄÇ»ÅÍÇаúÀÇ ±³¼öÀÌ´Ù. Á¤Çü ±â¹ý(Formal Method)°ú ÀÚ¹Ù, C++, CÇÁ·Î±×·¡¹Ö ¾ð¾î¿Í ÇÁ·Î±×·¡¹Ö°ú °ü·ÃµÈ º¸¾È À̽´¸¦ °ÀÇÇÑ´Ù. ¿µ±¹ ÄÄÇ»ÅÍ ÇÐȸ ¿þÀÏÁî ÁߺÎÁö¿ª ÀÇÀåÀ̱⵵ ÇÏ´Ù. 1992³âºÎÅÍ ¼ÒÇÁÆ®¿þ¾î °øÇÐ ¿¬±¸¼Ò °´¿ø ¿¬±¸¿øÀ» ¿ªÀÓÇϰí ÀÖ´Ù. ÃÖ±Ù¿¡´Â ÀÚ¹Ù Ãë¾àÁ¡À» ¿¬±¸Çϰí ÀÖ´Ù.
ÀúÀÚÁýÇʵµ¼
ÀÚ¹Ù ½ÃÅ¥¾î ÄÚµù °¡À̵å¶óÀÎ - ½Å·Ú¼º ÀÖ°í ¾ÈÀüÇÑ ÇÁ·Î±×·¥À» À§ÇÑ 75°¡Áö ±Ç°í»çÇ×
ÇÁ·¹µå ·Õ ¿Ü ÁöÀ½, Á¶Å³² ¿Å±è
30,000 ¿ø
ÀÎÇÇ´ÏÆ¼ºÏ½º
30,000 ¿ø
ÀÎÇÇ´ÏÆ¼ºÏ½º
