eTLA 2.1.0

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 5.0/5 - ‎1 ‎Phiếu

TLA + Eclipse IDE plugin. Tích hợp ngôn ngữ định nghĩa chính thức 'Logic thời gian của hành động' để xác định các hệ thống trong Eclipse IDE

lịch sử phiên bản

  • Phiên bản 2.1.0 đăng trên 2005-08-22
    Một số bản sửa lỗi và cập nhật
  • Phiên bản 2.1.0 đăng trên 2005-08-22

Chi tiết chương trình