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
- Mục: Phát triển > Khác
- Publisher: www.techjava.de/projects/etla-plugin/
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: 2.1.0
- Nền tảng: windows