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

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