Plugin TLA+ Eclipse IDE. Integrasi bahasa definisi formal 'Temporal Logic of Actions' untuk menentukan sistem dalam Eclipse IDE
Riwayat versi
- Versi 2.1.0 diposting di 2005-08-22
Beberapa perbaikan dan pembaruan - Versi 2.1.0 diposting di 2005-08-22
Detil Program
- Kategori: Pengembangan > Lain
- Penerbit: www.techjava.de/projects/etla-plugin/
- Lisensi: Gratis
- Harga: N/A
- Versi: 2.1.0
- Platform: windows