Enviar Software
  1. Casa
  2. Windows
  3. Outros
  4. alf

alf 1.0

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 2.3/5 - ‎4 ‎votos
Baixar

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.

história da versão

  • Versão files postado em 2009-12-09
    Várias correções e atualizações
  • Versão alf-1.0 postado em 2007-01-04

Detalhes do programa

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++.