Extended NuSMV 1.1

Program Terkait

• Voice Widget Gratis

  Mulai Perekam Suara, Youtube, TV atau Radio, Explorer atau Cari dengan satu klik.2 widget indah untuk menautkan perekam suara ponsel Anda, Youtube, TV atau radio, explorer atau pencarian. Gaya desainnya seperti HTC Sense.

• ZIPCodeWorld Store Locator .NET Component Uji Coba Gratis

  ZIPCodeWorld Store Locator .NET adalah kontrol pencari lokasi toko untuk semua pengembang .NET. Layanan pencari lokasi toko Amerika Serikat atau Kanada Anda sendiri dapat berjalan dalam beberapa menit. ZIPCodeWorld Store Loca

• Mobile Data On/Off Toggle Gratis

  Data Seluler On/Off ToggleMobile Data On/Off Toggle switcherMobile Data On/Off Toggle switcherMobile Data OnOff Toggle switch.- Kebutuhan perangkat lunak ini Mengaktifkan "Data" seluler; dalam pengaturan Sistem . Per

• OCF Resource Agent for SAP Gratis

  Menyediakan agen sumber daya yang mematuhi OCF (Open Cluster Framework), untuk menjalankan perangkat lunak SAP di klaster ketersediaan tinggi Linux (seperti proyek Linux-HA).

• Wintermute Engine DevKit Gratis

  Wintermute Engine Development Kit adalah seperangkat alat untuk membuat dan menjalankan game petualangan titik grafis & klik, baik yang 2D tradisional maupun game 2,5D modern (karakter 3D pada latar belakang 2D).

• Aginity Netezza Workbench Gratis

  Aginity adalah mitra Penyedia Solusi Netezza. Workbench lahir dari kebutuhan kami akan alat khusus untuk mendukung pengalaman kami yang luas mengembangkan sistem besar pada peralatan Netezza. Workbench menawarkan fitur unik d

• xUnit - Unit Testing Framework Gratis

  xUnit adalah kerangka kerja pengujian unit gaya XP. xUnit menggunakan protokol antara front-end untuk menampilkan hasil pengujian dan driver pengujian yang ditautkan ke dalam aplikasi - menghapus dependensi waktu tautan antar

• perf2rrd Gratis

  perf2rrd adalah program yang ditulis dalam Java (tm) yang menangkap output data kinerja oleh sistem pemantauan Nagios (R) dan menyimpannya dalam file database round robin seperti yang tidak dilemementasi oleh RRDtool.

• MisterHouse: Home Automation with Perl Gratis

  MisterHouse adalah program otomasi rumah Windows / Unix yang ditulis dalam Perl. Ini dapat menanggapi perintah suara, browser web, waktu hari, port serial dan data X10, file eksternal, dll dan dapat berbicara melalui mesin Te

• IFM - Interface Management System Gratis

  IFM (sebelumnya wxIFM) adalah perpustakaan Manajemen Antarmuka yang dirancang untuk menambahkan jendela yang dapat ditambatkan ke aplikasi Anda yang memberi antarmuka Anda penyesuaian yang diminta oleh pengguna komputer berpe