alf 1.0
Você poderá baixar em 5 segundos.
Você também pode clicar no seguinte Link de Download Externo para iniciar o download:
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 línguas formais. Alf é portátil e fácil de usar. Foi desenvolvido na Politecnico di Milano.
Programas Relacionados
-
Png to Ico Avaliação gratuita
Png to Ico é uma ferramenta fácil de usar que pode converter arquivo PNG em arquivo ICON. Sua qualidade de conversão é muito boa, e suporta conversão em lote. Esta ferramenta permite criar facilmente ícones de alta qualidade.
-
WebFlowChart Avaliação gratuita
O que é um WebFlowChart?O WebFlowChart é um editor de fluxograma baseado em Java?. Este foi desenvolvido para uso em um sistema Intranet ou Internet e é especialmente adequado para apresentação de processos ou gráficos.O
-
ORCGeNext Avaliação gratuita
ObjectivosEssa ferramenta pode ser usada para gerar código base (atributos, camada de acesso de dados, camada lógica de negócios, camada de apresentação, projeto de inicialização, servidor de aplicativos, think client) para
-
Excellent Minimize to Tray Avaliação gratuita
Não importa se o Adobe Acrobat, MS Word, Excel, MS Outlook, Firefox, Microsoft Office: Cada aplicativo pode ser minimizado na área de informações (bandeja). Minimiza quaisquer aplicações com 1 clik como ícones na área de info
-
Gemini Linux Livre
Gemini Linux é uma distribuição linux baseada em debian leve. O projeto fornece sistema rápido e estável com o XFCE Desktop Environment e o gerenciador de janelas Openbox como padrão.
-
Memento Livre
Memento é um sistema leve de gestão do conhecimento baseado na teoria dos memes. Use-o para armazenar o que você aprendeu, em seguida, use sua facilidade de publicação no estilo weblog para compartilhar o que você sabe.
-
FastCGI / CGI C++ library Livre
Uma moderna biblioteca CGI portátil escrita em C++padrão. CGI assíncronso e FastCGI são ambos suportados em uma biblioteca clara, simples e eficiente construída sobre as bibliotecas Boost C++(esp. Boost.Asio). Suporte gratuit
-
GerbMerge Livre
GerbMerge é um programa para combinar arquivos Gerber/Excellon para fabricação de placas de circuito impresso. Ele pode fazer painéis de cópias do mesmo trabalho, trabalhos diferentes e também pode girar empregos. GerbMerge p
-
Japplis Toolbox Livre
Japplis Toolbox é uma compilação de utilitários de texto em um aplicativo.Ele pode codificar e decodificar URL, Base64, Hex, ROT13, ROT47, Java unicode, Volapuk.Pode converter números de/para binário, octal, decimal, hexa
-
Eclipse CDT GNU PowerPC Plug-in Livre
Um plug-in para o CdT (Eclipse C/C++ Development Tooling, ferramenta de desenvolvimento do Eclipse C++" que adiciona novos Tipos de Projeto específicos ao desenvolvimento do PowerPC C/C++..