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

Về eTLA

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