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

PiET: Pi Calculus Equivalences Tester 1.0

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 5.0/5 - ‎1 ‎Votos
Download

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

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 Livre

    O "Framework for Implicit Graph Algorithms and Representations by OBDDs" (Figaro) gerencia automaticamente experimentos com plugins gerador de entrada e algoritmo. Ele já contém alguns geradores e algoritmos para pr

  • C++ Programming Reference FREE Avaliação gratuita

    Referência completa de programação de linguagem C++ desde cartões de referência rápidos até manuais de treinamento em linguagem de programaçãoUse as possibilidades que o celular traz, permitindo estudar ou verificar qualq

  • MEP Auswertung Livre

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

  • gsvit Livre

    Solucionador FDTD rápido com suporte a placas gráficas. Otimizado para óptica nanoescala - escaneamento perto de microscopia óptica de campo, dispersão de superfície áspera e células solares. Usa o ambiente CUDA para operação

  • Russian Vocabulary Livre

    É hora de fazer o teste do vocabulário russo! Testes interativos divertidos e gratuitos do Golden Quartz dão conhecimento on-the-go! Russo (Ã'€Ã'Âə'Âñã'ÂÃâ¹ Ã'· Russkiy yazyk é uma língua eslava usada principalmente na Rús

  • Fiction Press Reader Livre

    Quer FictionPress.com sem usar todos os seus dados para o mês? Este é um leitor offline da Fiction Press que permitirá que você leia suas histórias em movimento. Ele também permite gerenciar e verificar facilmente as atualiza

  • brickit Livre

    Um repositório baseado na Web de plasmídeos e biobricks (ver http://parts.mit.edu) além de programas de utilidades relacionados que suportam pesquisas de biologia sintética.

  • Harrow Livre

    Uma biblioteca Java, webservice e webclient para a coleta de metadados. Atualmente, suporta a colheita do OAI-PMH para o Fedora 2, mas pode ser facilmente estendido para suportar mais protocolos.

  • MLPA Analyzer Livre

    MLPA Analyzer é um ambiente de fluxo de trabalho e análise para amplificação de sonda dependente de ligadura multiplex

  • Physics Solving Toolkit Livre

    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