PiET: Pi Calculus Equivalences Tester 1.0

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 5.0/5 - ‎1 ‎Голосов

PiET является инструментом проверки десяти поведенческих эквивалентности для расчета Пи.

история версии

  • Версия Piet%201.0 размещено на 2006-09-29
    Несколько исправлений и обновлений
  • Версия Piet 1.0 размещено на 2006-09-29

Подробная информация о программе