![](/statics/img/blank.png)
alf 1.0
Poderá descarregar em 5 segundos.
Também pode clicar no seguinte Link de descarregamento externo para começar a descarregar:
http://sourceforge.net/projects/alf/files/alf/alf-1.0/alf-1.0.tgz/download
Sobre alf
Alf é uma coleção de ferramentas para experimentar com línguas formais. O Alf é portátil e fácil de usar. Foi desenvolvido no Politecnico di Milano.
Programas Relacionados
-
Png to Ico Julgamento Gratuito
Png para Ico é uma ferramenta fácil de usar que pode converter ficheiro PNG em ficheiro ICON. A sua qualidade de conversão é muito boa, e suporta a conversão de lotes. Esta ferramenta permite-lhe criar facilmente ícones de al
-
WebFlowChart Julgamento Gratuito
O que é um WebFlowChart?WebFlowChart é um editor de fluxograma baseado em Java? Isto foi desenvolvido para uso em um sistema Intranet ou Internet e é especialmente adequado para apresentação de processo ou gráfico.O ponto
-
ORCGeNext Julgamento Gratuito
ObjetivosEsta ferramenta pode ser usada para gerar código base (atributos, camada de acesso a dados, camada lógica de negócio, camada de apresentação, projeto de arranque, servidor de aplicações, cliente de pensamento) para
-
Excellent Minimize to Tray Julgamento Gratuito
Não importa se Adobe Acrobat, MS Word, Excel, MS Outlook, Firefox, Microsoft Office: Cada aplicação pode ser minimizada na área de informação (bandeja). Minimiza quaisquer Aplicações com 1 clik como ícones na área de informaç
-
Gemini Linux Grátis
Gemini Linux é uma distribuição de linux baseada em debian leve. O projeto fornece um sistema rápido e estável com xFCE Desktop Environment e Openbox window manager como padrão.
-
Memento Grátis
Memento é um sistema de gestão de conhecimento leve baseado na teoria dos memes. Use-o para armazenar o que aprendeu, em seguida, use a sua instalação de publicação estilo weblog para partilhar o que sabe.
-
FastCGI / CGI C++ library Grátis
Uma moderna biblioteca CGI portátil escrita em C++padrão. O CGI assíncronos e o FastCGI são ambos suportados numa biblioteca clara, simples e eficiente construída sobre as bibliotecas Boost C++ (esp. Boost.Asio). Apoio gratui
-
GerbMerge Grátis
GerbMerge é um programa para combinar ficheiros Gerber/Excellon para fabricação de placas de circuito impresso. Pode fazer painéis de cópias do mesmo trabalho, de empregos diferentes, e também de girar postos de trabalho. O G
-
Japplis Toolbox Grátis
Japplis Toolbox é uma compilação de utilitários de texto numa única aplicação.Pode codificar e descodificar URL, Base64, Hex, ROT13, ROT47, Java unicode, Volapuk.Pode converter números de/para binário, octal, decimal, hex
-
Eclipse CDT GNU PowerPC Plug-in Grátis
Um plug-in para a Ferramenta de Desenvolvimento Eclipse C/C++ (CDT) que adiciona novos tipos de projeto específicos ao desenvolvimento do PowerPC C/C++.