Å° - Å×½ºÆ® ÄÉÀ̽º »ý¼º±â

»ç¾ç¿¡¼­ ´ÜÀ§ Å×½ºÆ®¸¦ »ý¼º ÇÒ ¼öÀÖ´Â ¼ÒÇÁÆ®¿þ¾î
Áö±Ý ´Ù¿î·Îµå

Å° - Å×½ºÆ® ÄÉÀ̽º »ý¼º±â ¼øÀ§ ¹× ¿ä¾à

±¤°í

  • Rating:
  • ƯÇã:
  • GPL
  • °¡°Ý:
  • FREE
  • °Ô½ÃÀÚ À̸§:
  • The KeY Project
  • °Ô½ÃÀÚ À¥»çÀÌÆ®:
  • http://www.key-project.org
  • ¿î¿µÃ¼Á¦:
  • Mac OS X
  • ÆÄÀÏ Å©±â:
  • 1 KB

Å° - Å×½ºÆ® ÄÉÀ̽º »ý¼º±â ű×


Å° - Å×½ºÆ® ÄÉÀ̽º »ý¼º±â ¼³¸í

»ç¾ç¿¡¼­ ÀåÄ¡ Å×½ºÆ®¸¦ »ý¼º ÇÒ ¼öÀÖ´Â ¼ÒÇÁÆ®¿þ¾î Å° - Å×½ºÆ® ÄÉÀ̽º »ý¼º±â´Â °ø½Ä Áõ¸í ¿Ü¿¡µµ Specifications.Key¿¡¼­ ´ÜÀ§ Å×½ºÆ®¸¦ »ý¼º ÇÒ ¼öÀÖ´Â ÀÚÀ¯ ¼ÒÇÁÆ®¿þ¾îÀÔ´Ï´Ù. Å×½ºÆ® ÄÉÀ̽º »ý¼º±â´Â Java ÇÁ·Î±×·¡¹Ö ¾ð¾î·Î ÀÛ¼ºµË´Ï´Ù. ¿ä±¸ »çÇ× : ¡¤ Java 1.5 ÀÌ»ó


Å° - Å×½ºÆ® ÄÉÀ̽º »ý¼º±â °ü·Ã ¼ÒÇÁÆ®¿þ¾î