Ã¥ ¼Ò°³

ÄÄÇ»ÅÍ °úÇÐÀÌ ¿©´Â ¼¼°è

Á¤°¡ : 18,000 ¿ø

  • ÀÛ°¡¸í : À̱¤±Ù ÁöÀ½

  • ÃâÆÇ»ç : ÀλçÀÌÆ®

  • Ãâ°£ÀÏ : 2015-05-26

  • ISBN : 9788966261437 / 8966261434

  • ÂÊ ¼ö : 291

  • Çü ÅÂ :

  • Ä«Å×°í¸®:

µµ¼­ DB Á¦°ø : ¾Ë¶óµò ÀÎÅͳݼ­Á¡(www.aladin.co.kr)

±¸ÀÔó

°øÀ¯Çϱâ

Ã¥ ¼Ò°³

±¦Âú´Ù°í ¸»ÇÏÁö¸¸ ±¦ÂúÁö ¾ÊÀº ³Ê¿Í ³ª, ¿ì¸®°¡ ¾È°í »ç´Â ¿ì¿ï. ±×¸®°í ±× °¨Á¤ÀÌ °¡Á®¿Â ¸¶À½ÀÇ º´ ¿ì¿ïÁõ. È­Á¦ÀÇ Ã¤³Î


¸ñÂ÷

ÀúÀÚ ¼Ò°³

À̱¤±Ù ÁöÀ½

À̱¤±Ù (ÁöÀºÀÌ)
ÇöÀç ¼­¿ï´ëÇб³ ÄÄÇ»ÅͰøÇкΠ±³¼ö. KAIST Àü»êÇаú ±³¼ö ¿ªÀÓ. ±³À°°úÇбâ¼úºÎ ÁöÁ¤ ¼±µµ¿¬±¸¼¾ÅÍ ¼¾ÅÍÀå, °úÇбâ¼úºÎ ÁöÁ¤ âÀÇ¿¬±¸´Ü ´ÜÀå ¿ªÀÓ. Bell Labs-Software Principles Research Department Á¤±Ô ¿¬±¸¿ø ¿ªÀÓ. MIT, Stanford, CMU, ÆÄ¸® °íµî»ç¹üÇб³(ENS Paris) ¹æ¹®±³¼ö, Facebook Research Scientist ¿ªÀÓ.

Àú¼­: Introduction to Static Analysis. MIT Press. 2020.
ÄÄÇ»ÅͰúÇÐÀÌ ¿©´Â ¼¼°è. ÀλçÀÌÆ®. 2015.
ȨÆäÀÌÁö: kwangkeunyi.snu.ac.kr


¿¬°ü µµ¼­