Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. alf

alf 1.0

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 2.3/5 - ‎4 ‎Suara
Download

Alf adalah kumpulan alat untuk bereksperimen dengan Bahasa Formal. Alf portabel dan mudah digunakan. Ini telah dikembangkan di Politecnico di Milano.

Riwayat versi

  • Versi files diposting di 2009-12-09
    Beberapa perbaikan dan pembaruan
  • Versi alf-1.0 diposting di 2007-01-04

Detil Program

Program Terkait

  • Png to Ico Uji Coba Gratis

    Png to Ico adalah alat yang mudah digunakan yang dapat mengonversi file PNG ke file ICON. Kualitas konversinya sangat bagus, dan mendukung konversi batch. Alat ini memungkinkan Anda untuk dengan mudah membuat ikon berkualitas

  • WebFlowChart Uji Coba Gratis

    Apa itu WebFlowChart?WebFlowChart adalah editor bagan alur berdasarkan Java?. Ini telah dikembangkan untuk penggunaan dalam sistem Intranet atau Internet dan sangat cocok untuk proses atau presentasi bagan.Intinya: Anda d

  • ORCGeNext Uji Coba Gratis

    TujuanAlat ini dapat digunakan untuk menghasilkan kode dasar (atribut, lapisan akses data, lapisan logika bisnis, lapisan presentasi, proyek startup, server aplikasi, klien berpikir) untuk aplikasi multi-tingkat yang bekerj

  • Excellent Minimize to Tray Uji Coba Gratis

    Tidak peduli apakah Adobe Acrobat, MS Word, Excel, MS Outlook, Firefox, Microsoft Office: Setiap Aplikasi dapat diminimalkan ke area info (baki). Meminimalkan Aplikasi apa pun dengan 1 klitoris sebagai ikon ke area info (baki

  • Gemini Linux Gratis

    Gemini Linux adalah distribusi linux ringan berbasis debian. Proyek ini menyediakan sistem yang cepat dan stabil dengan XFCE Desktop Environment dan Openbox window manager sebagai default.

  • Memento Gratis

    Kenang-kenangan adalah sistem manajemen pengetahuan yang ringan berdasarkan teori meme. Gunakan untuk menyimpan apa yang telah Anda pelajari, lalu gunakan fasilitas penerbitan bergaya weblog untuk membagikan apa yang Anda ket

  • FastCGI / CGI C++ library Gratis

    Perpustakaan CGI portabel modern yang ditulis dalam C++standar. CGI dan FastCGI asinkron keduanya didukung dalam perpustakaan yang jelas, sederhana, dan efisien yang dibangun di atas library Boost C++ (esp. Boost.Asio). Dukun

  • GerbMerge Gratis

    GerbMerge adalah program untuk menggabungkan file Gerber /Excellon untuk pembuatan papan sirkuit cetak. Ini dapat panelisasi salinan pekerjaan yang sama, pekerjaan yang berbeda, dan juga dapat memutar pekerjaan. GerbMerge dap

  • Japplis Toolbox Gratis

    Japplis Toolbox adalah kompilasi utilitas teks dalam satu aplikasi.Ini dapat menyandikan dan mendekode URL, Base64, Hex, ROT13, ROT47, Java unicode, Volapuk.Ini dapat mengonversi angka dari/ ke biner, oktal, desimal, heks

  • Eclipse CDT GNU PowerPC Plug-in Gratis

    Plug-in untuk Eclipse C/C++ Development Tooling (CDT) yang menambahkan Jenis Proyek baru khusus untuk pengembangan PowerPC C/C++.