Enviar Software
  1. Casa
  2. Windows
  3. Outros
  4. PiET: Pi Calculus Equivalences Tester

PiET: Pi Calculus Equivalences Tester 1.0

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

PiET é uma ferramenta de verificação de dez equivalências comportamentais para o Cálculo Pi.

história da versão

  • Versão Piet%201.0 postado em 2006-09-29
    Várias correções e atualizações
  • Versão Piet 1.0 postado em 2006-09-29

Detalhes do programa

Programas Relacionados

  • The Figaro Grátis

    O "Framework for Implicit Graph Algorithms and Representations by OBDDs" (Figaro) gere automaticamente experiências com plugins de geradores de entrada e algoritmos. Já contém alguns geradores e algoritmos para prob

  • C++ Programming Reference FREE Julgamento Gratuito

    Referência completa da programação linguística C++ de cartões de referência rápidos, até manuais de formação em linguagem de programaçãoUse as possibilidades que o telemóvel lhe traz, permitindo estudar ou verificar o que

  • MEP Auswertung Grátis

    Este programa foi escrito tendo em mente criar uma ferramenta útil para avaliar os Potenciais Evocados Motor (MEPs) gerados pela Estimulação Magnética Transcraniana (TMS) e gravados com o programa "Signal" (versão 2

  • gsvit Grátis

    Solver FDTD rápido com suporte a placa gráfica. Otimizado para ótica nanoescala - digitalização perto de microscopia ótica de campo, dispersão de superfícies ásperas e células solares. Utiliza ambiente CUDA para o funcionamen

  • Russian Vocabulary Grátis

    Está na hora de fazer o teste do vocabulário russo! Testes de trivialidades interativas e divertidos do Golden Quartz dão-lhe conhecimento em movimento! Russo (Â' ̧ ÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂ' Russkiy yazyk é uma língua eslávica ut

  • Fiction Press Reader Grátis

    Quer desfrutar FictionPress.com sem usar todos os seus dados para o mês? Este é um leitor offline para a Fiction Press que lhe permitirá ler as suas histórias em movimento. Também permite gerir e facilmente verificar as atual

  • brickit Grátis

    Um repositório baseado na web de plasmídeos e biobídos (ver http://parts.mit.edu) mais programas de utilidade relacionados que suportam a investigação em biologia sintética.

  • Harrow Grátis

    Uma biblioteca java, webservice e webclient para a colheita de metadados. Atualmente apoia a colheita de OAI-PMH para Fedora 2, mas pode ser facilmente estendida para suportar mais protocolos.

  • MLPA Analyzer Grátis

    O MLPA Analyzer é um ambiente de trabalho e análise para a Amplificação da Sonda Dependente da Ligação Multiplex

  • Physics Solving Toolkit Grátis

    Phyz é um programa educacional que mostra várias teorias/conceitos de Física e contém conjuntos de programas de resolução de problemas.A filosofia básica é explicar e fornecer uma interface fácil para a resolução de problem