PiET: Pi Calculus Equivalences Tester 1.0

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎1 ‎Voti

PiET è uno strumento di verifica per dieci equivalenze comportamentali per il Calcolo Pi.

cronologia delle versioni

  • Versione Piet%201.0 pubblicato il 2006-09-29
    Diverse correzioni e aggiornamenti
  • Versione Piet 1.0 pubblicato il 2006-09-29

Dettagli del programma