TLA+ Eclipse IDE eklentisi. Eclipse IDE'de sistemlerin belirtilmesi için resmi tanım dili 'Eylemlerin Zamansal Mantığı' entegrasyonu
sürüm geçmişi
- Sürüm 2.1.0 tarihinde gönderildi 2005-08-22
Çeşitli düzeltmeler ve güncelleştirmeler - Sürüm 2.1.0 tarihinde gönderildi 2005-08-22
Program Detayları
- Kategori: Geliştirme > Diğer
- Yayımcı: www.techjava.de/projects/etla-plugin/
- Lisans: Ücret -siz
- Fiyat: N/A
- Sürüm: 2.1.0
- Platform: windows