eTLA 2.1.0

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 5.0/5 - ‎1 ‎Suara

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