Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. eTLA

eTLA 2.1.0

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 5.0/5 - ‎1 ‎Undi
Muat turun

TLA + Eclipse IDE plugin. Integrasi bahasa definisi formal 'Logik Sementara Tindakan' untuk menentukan sistem dalam IDE Gerhana

sejarah versi

  • Versi 2.1.0 diposkan pada 2005-08-22
    Beberapa pembaikan dan pengemaskinian
  • Versi 2.1.0 diposkan pada 2005-08-22

Butiran Atur Cara

Atur Cara Berkaitan

  • TinyIDE MUSH Programming Tool Percuma

    Projek TinyIDE adalah percubaan untuk mewujudkan pelanggan MUSH baru untuk pengkod di TinyMUSH, PennMUSH, dan lain-lain. Ini akan menampilkan pemformatan kod, penyemakan imbas objek, dan fungsi pelanggan MUSH umum.

  • Pesoguin Calendar free cartoon Percuma

    Ini adalah aplikasi kalendar & petikan;Pesoguin", watak popular di Jepun.Youâ € ™ll mendapati ia alat dengan penuh hiburan. Dalam aplikasi ini, anda boleh menikmati pemperibadiannya. à ¢Â €  » Pesoguin adalah

  • Transparent skin Green Percubaan Percuma

    Kulit untuk Papan Kekunci Yang Lebih Baik dan Papan Kekunci Pintar Pro.Berguna untuk melihat apa yang berlaku di bawah papan kekunci (seperti sembang, baris perintah, dll ...).Jika anda suka atau menggunakan karya ini,

  • TubeMonitor Percubaan Percuma

    TubeMonitor adalah widget yang membantu anda memantau bilangan tontonan untuk video anda di youtube. Hanya nama pengguna anda diperlukan.Anda tidak perlu lagi melawat youtube setiap sekarang dan kemudian untuk mendapatkan

  • I'm Out! - Call interceptor Percuma

    Adakah anda mempunyai tabiat melupakan telefon anda di rumah dan bimbang jika ada yang cuba memanggil anda? Atau adakah anda mahu dapat meninggalkan telefon Android mahal anda di rumah semasa menghadiri aktiviti luar yang kem

  • DIG Interface Percuma

    XML skema, XMLBeans, dan Jawa pelaksanaan antara muka DIG-- antara muka XML standard untuk Penerangan Sistem Logik dibangunkan oleh Kumpulan Pelaksanaan DL (DIG).

  • Onemind common java library Percuma

    onemind-commons mengandungi beberapa perpustakaan java: biasa jawa: perpustakaan data java / rahim; relational-bean: lanjutan kepada perpustakaan kacang jawa untuk perwakilan model objek hubungan; invois: rangka kerja pembalu

  • UPSD Log Parser Percuma

    Penghuraian Log UPSD (ulp) memantau mesej yang dihantar oleh upsd untuk dislog. Ia mengekstrak data dari ini dan menyelitkannya ke dalam fail RRD, dari mana pentadbir boleh mendapatkan graf status UPS.

  • CamPainter Lite Percubaan Percuma

    CamPainter adalah perisian lukisan jari yang kuat.1. Sehingga 1024x768 piksel kanvas / w ikon navigasi2. Sambutan pantas dan antara muka mesra pengguna3. Hue /Satu catuan pemilihan roda4. Eyedropper: Mengambil warna

  • idyaDBX - SQL DBMS in PHP Percuma

    idyaDBX adalah perpustakaan ringan yang ditulis dalam PHP yang melaksanakan enjin pangkalan data SQL yang tertanam, dengan data mentah disimpan sebagai XML. Skrip PHP boleh termasuk idyaDBX sebagai pengepala untuk mengendalik