Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. PiET: Pi Calculus Equivalences Tester

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

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

Похожие программы

  • The Figaro Бесплатный

    «Квота;Framework для неявных алгоритмов графиков и представлений по OBDDs»quot; (Figaro) автоматически управляет экспериментами с генератором входных данных и плагинами алгоритмов. Он уже содержит некоторые генераторы и алгор

  • C++ Programming Reference FREE Бесплатная пробная версия

    Полный справочник по программированию на языке СЗ от быстрых справочных карт до учебных пособий по программированию на языкеИспользуйте возможности мобильный приносит вам, что позволяет изучать или проверять все, что вы х

  • MEP Auswertung Бесплатный

    Эта программа была написана имея в виду, чтобы создать полезный инструмент для оценки Мотор Вызванные потенциалы (MEPs), порожденных Транскраниальной магнитной стимуляции (TMS) и записаны с программой "квота;Сигнал" цитата; (

  • gsvit Бесплатный

    Быстрый FDTD-решатель с поддержкой видеокарт. Оптимизирована для наномасштабной оптики - сканирование вблизи поля оптической микроскопии, шероховатого рассеяния поверхности и солнечных элементов. Использует среду CUDA для раб

  • Russian Vocabulary Бесплатный

    Пришло время сыграть в русскую викторину Vocabulary! Веселые, бесплатные интерактивные викторины мелочи из Золотого кварца дает вам знания на ходу! Русский язык ('o' ̧ ' «Зо, русский язык» ÂˆzÉ () — славянский язык ˆruskÊÂ

  • Fiction Press Reader Бесплатный

    Хотите наслаждаться FictionPress.com не используя все свои данные за месяц? Это в автономном режиме читатель Fiction Press, что позволит вам читать ваши рассказы на ходу. Он также позволяет управлять и легко проверить обновле

  • brickit Бесплатный

    Веб-хранилище плазмидов и биобрика (см. http://parts.mit.edu) плюс связанные с этим программы утилиты, которые поддерживают исследования синтетической биологии.

  • Harrow Бесплатный

    Библиотека Java, веб-сервис и веб-клиент для сбора метаданных. В настоящее время она поддерживает сбор урожая от OAI-PMH до Fedora 2, но может быть легко расширена для поддержки большего содержания протоколов.

  • MLPA Analyzer Бесплатный

    MLPA Analyzer — это среда рабочего процесса и анализа для усиления зонда, зависящего от мультиплексной лигации

  • Physics Solving Toolkit Бесплатный

    Phyz является образовательной программой, которая показывает различные теории физики / концепции и содержит наборы программ решения проблем.Основная философия заключается в объяснении и предоставлении простого интерфейса дл