Invia software
  1. Casa
  2. Windows
  3. Altro
  4. alf
  5. Download

alf 1.0

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 2.3/5 - ‎4 ‎Voti

Circa alf

Alf è una raccolta di strumenti per sperimentare con i linguaggi formali. Alf è portatile e facile da usare. È stato sviluppato presso il Politecnico di Milano.

Programmi correlati

  • Png to Ico Prova gratuita

    Png to Ico è uno strumento facile da usare in grado di convertire il file PNG in file ICON. La sua qualità di conversione è davvero buona e supporta la conversione batch. Questo strumento consente di creare facilmente icone d

  • WebFlowChart Prova gratuita

    Che cos'è un WebFlowChart?WebFlowChart è un editor di diagrammi di flusso basato su Java?. Questo è stato sviluppato per l'uso in un sistema Intranet o Internet ed è particolarmente adatto per la presentazione di processi o

  • ORCGeNext Prova gratuita

    ObiettiviQuesto strumento può essere utilizzato per generare codice base (attributi, livello di accesso ai dati, livello di logica aziendale, livello di presentazione, progetto di avvio, server applicazioni, think client) p

  • Excellent Minimize to Tray Prova gratuita

    Non importa se Adobe Acrobat, MS Word, Excel, MS Outlook, Firefox, Microsoft Office: ogni applicazione può essere ridotta a icona nell'area informazioni (vassoio). Riduce al minimo tutte le applicazioni con 1 clik come icone

  • Gemini Linux Gratuito

    Gemini Linux è una distribuzione linux leggera basata su debian. Il progetto fornisce un sistema veloce e stabile con XFCE Desktop Environment e Openbox window manager come impostazione predefinita.

  • Memento Gratuito

    Memento è un leggero sistema di gestione della conoscenza basato sulla teoria dei meme. Usalo per archiviare ciò che hai imparato, quindi usa la sua funzione di pubblicazione in stile weblog per condividere ciò che sai.

  • FastCGI / CGI C++ library Gratuito

    Una libreria CGI moderna e portatile scritta in C++ standard. CGI asincrona e FastCGI sono entrambi supportati in una libreria chiara, semplice ed efficiente costruita sulle librerie Boost C++ (ad esempio Boost.Asio). Support

  • GerbMerge Gratuito

    GerbMerge è un programma per la combinazione di file Gerber/Excellon per la produzione di circuiti stampati. Può visualizzare copie dello stesso lavoro, processi diversi e può anche ruotare i processi. GerbMerge può essere es

  • Japplis Toolbox Gratuito

    Japplis Toolbox è una compilazione di utilità di testo in un'unica applicazione.Può codificare e decodificare URL, Base64, Hex, ROT13, ROT47, Java unicode, Volapuk.Può convertire i numeri da/a binario, ottale, decimale, e

  • Eclipse CDT GNU PowerPC Plug-in Gratuito

    Plug-in per eclipse C/C++ Development Tooling (CDT) che aggiunge nuovi tipi di progetto specifici per lo sviluppo di PowerPC C/C++.