ส่งซอฟต์แวร์

โปรแกรมตาม www.techjava.de/projects/etla-plugin/

  • eTLA ฟรี

    ปลั๊กอิน TLA+ Eclipse IDE การรวมภาษาคํานิยามอย่างเป็นทางการ 'ตรรกะทางโลกของการกระทํา' สําหรับการระบุระบบใน Eclipse IDE