Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. alf

alf 1.0

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 2.3/5 - ‎4 ‎Votes
Télécharger

Alf est une collection d’outils pour expérimenter avec les langues formelles. Alf est portable et facile à utiliser. Il a été développé à Politecnico di Milano.

historique de la version

  • Version files posté sur 2009-12-09
    Plusieurs correctifs et mises à jour
  • Version alf-1.0 posté sur 2007-01-04

Détails du programme

Programmes connexes

  • Png to Ico Essai gratuit

    Png to Ico est un outil facile à utiliser qui peut convertir le fichier PNG en fichier ICON. Sa qualité de conversion est vraiment bonne, et il prend en charge la conversion par lots. Cet outil vous permet de créer facilement

  • WebFlowChart Essai gratuit

    Qu’est-ce qu’un WebFlowChart ?WebFlowChart est un éditeur flowchart basé sur Java?. Ceci a été développé pour une utilisation dans un système Intranet ou Internet et est particulièrement adapté pour la présentation de proce

  • ORCGeNext Essai gratuit

    ObjectifsCet outil peut être utilisé pour générer du code de base (attributs, couche d’accès aux données, couche logique métier, couche de présentation, projet de démarrage, serveur d’application, think client) pour les app

  • Excellent Minimize to Tray Essai gratuit

    Peu importe si Adobe Acrobat, MS Word, Excel, MS Outlook, Firefox, Microsoft Office: Chaque application peut être réduite au minimum dans la zone d’information (plateau). Minimise toutes les applications avec 1 clik comme icô

  • Gemini Linux Gratuit

    Gemini Linux est une distribution linux légère basée sur les debians. Le projet fournit un système rapide et stable avec XFCE Desktop Environment et Openbox window manager par défaut.

  • Memento Gratuit

    Memento est un système léger de gestion des connaissances basé sur la théorie des mèmes. Utilisez-le pour stocker ce que vous avez appris, puis utilisez son installation d’édition de style blog pour partager ce que vous savez

  • FastCGI / CGI C++ library Gratuit

    Une bibliothèque CGI moderne et portable écrite en standard C++. Asynchrone CGI et FastCGI sont tous deux pris en charge dans une bibliothèque claire, simple et efficace construite sur les bibliothèques Boost C++ (esp. Boost.

  • GerbMerge Gratuit

    GerbMerge est un programme de combinaison de fichiers Gerber/Excellon pour la fabrication de circuits imprimés. Il peut panéliser des copies du même travail, des travaux différents, et peut également faire pivoter des travaux

  • Japplis Toolbox Gratuit

    Japplis Toolbox est une compilation d’utilitaires texte dans une seule application.Il peut coder et décoder URL, Base64, Hex, ROT13, ROT47, Java unicode, Volapuk.Il peut convertir des nombres de/à binaire, octal, décimal,

  • Eclipse CDT GNU PowerPC Plug-in Gratuit

    Un plug-in pour l’outillage de développement Eclipse C/C++ (CDT) qui ajoute de nouveaux types de projets spécifiques au développement PowerPC C/C++.