Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. Efficient Symbolic Tools

Efficient Symbolic Tools

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

Pakej Alat Simbolik Cekap (EST) adalah alat berasaskan BDD untuk pengesahan rasmi sistem serenjen. Kelebihannya adalah fleksibiliti, mudah alih dan pengurusan ingatan yang cekap. Ia berjalan di bawah OS yang berbeza, termasuk Linux dan Windows 2000/XP.

sejarah versi

  • Versi N/A diposkan pada 2006-10-09
    Beberapa pembaikan dan pengemaskinian
  • Versi N/A diposkan pada 2006-10-09

Butiran Atur Cara

Atur Cara Berkaitan

  • OpenX Android Widget Percuma

    Widget Android yang boleh digunakan dalam aplikasi Android untuk meletakkan iklan yang disampaikan oleh OpenX ke dalam susun atur.

  • Send Sources Percuma

    Perisian ini adalah seperti sebut harga & hantar ke / destinataire"tetapi anda tidak perlu mempunyai pandangan atau Oe, ia hanya untuk menghantar lampiran kepada satu adress atau senarai adress dalam hanya satu c

  • textPlus Messenger+Group Text Percuma

    Hantar mesej DAN gambar kepada sesiapa sahaja di seluruh dunia secara PERCUMA!APLIKASI PERCUMA untuk APP* pemesejan di mana-mana sahaja di dunia dengan textPlus! Untuk telefon dan tablet Android.Juga, teks ke mana-mana no

  • DC# Percuma

    DC# adalah pelanggan DirectConnect yang dipertingkatkan yang ditulis dalam C# untuk platform .NET. Ciri-ciri yang dirancang termasuk antara muka yang lebih baik dan keupayaan carian, pecah muat naik yang dicetuskan terbiar,

  • AIS IM+ Percuma

    Penerangan di ThaiAIS IM+ (Kongsi Sembang)MSN, Facebook, Twitter, GoogleTalk, Yahoo, MySpace, ICQ, Jabber, AOL Emoticon , , Facebook Dalam Talian Facebook Twitter Timeline, @Mention, Balas, Pengikut Ikuti / Pbb, Prof

  • MINDdroid Percuma

    Kawal robot LEGO MINDSTORMS dengan telefon Android anda. 2010/11 Kumpulan LEGOMINDdroid adalah Aplikasi Android 2.1+ untuk kawalan jauh tindakan langsung masa nyata robot LEGO MINDSTORMS menggunakan sambungan wayarles BlueT

  • Linux MSN Messenger Engine by Jonathan Percuma

    LMME (Linux MSN Messenger Engine) adalah enjin protokol MSN yang pelbagai dan berbilang kaum. Jika anda suka projek saya, sila menderma kepada saya melalui PayPal untuk [email protected]

  • Texty : Free SMS (via Way2SMS) Percuma

    #Please meninggalkan penilaian dan e-mel.#We akan menambah lebih banyak get laluan tidak lama lagi. Teksi ialah aplikasi yang membolehkan anda menghantar sms percuma dari android anda menggunakan akaun 2sms cara dalam talian

  • Panic Button Percuma

    Butang Panik menyediakan ikon dalam dulang sistem Windows. Dengan mengklik pada ikon ini, pengguna boleh menghantar rebutan skrin dan borang laporan ke meja bantuan atau serupa. Ini sepatutnya memudahkan pengguna menyediakan

  • .NET UseNet Downloader & Streamer Percuma

    .NET usenet pelanggan (sokongan ssl). Akhirnya harus menyokong penstriman yang ditimbulkan dari pelayan, dan log untuk media dilihat.