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

PiET: Pi Calculus Equivalences Tester 1.0

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 5.0/5 - ‎1 ‎Votos
Descargar

PiET es una herramienta de verificación para diez equivalencias de comportamiento para el Cálculo Pi.

historial de versiones

  • Versión Piet%201.0 publicado en 2006-09-29
    Varias correcciones y actualizaciones
  • Versión Piet 1.0 publicado en 2006-09-29

Detalles del programa

Programas relacionados

  • The Figaro Gratis

    El "Framework para algoritmos de gráficos implícitos y representaciones por OBDDs" (Figaro) administra automáticamente los experimentos con el generador de entrada y los plugins de algoritmos. Ya contiene algunos ge

  • C++ Programming Reference FREE Prueba gratuita

    Referencia completa de programación del lenguaje C++ desde tarjetas de referencia rápidas hasta manuales de formación de lenguajes de programaciónUtiliza las posibilidades que te ofrece el móvil, permitiendo estudiar o co

  • MEP Auswertung Gratis

    Este programa ha sido escrito teniendo en cuenta la creación de una herramienta útil para evaluar los Potenciales Evocados Motor (MEP) generados por Transcranial Magnetic Stimulation (TMS) y grabados con el programa "Sig

  • gsvit Gratis

    Solucionador FDTD rápido con soporte para tarjeta gráfica. Optimizado para óptica a nanoescala: microscopía óptica de campo cercano, dispersión de superficie rugosa y células solares. Utiliza el entorno CUDA para el funcionam

  • Russian Vocabulary Gratis

    ¡Es hora de jugar al cuestionario de vocabulario ruso! Divertido, concursos de preguntas interactivas gratis de Golden Quartz le da conocimiento sobre la marcha! Ruso ('ƒÃ' Russkiy yazyk, pronunciado [en inglés, "ˆruskÊ 2

  • Fiction Press Reader Gratis

    ¿Quieres disfrutar de FictionPress.com sin usar todos tus datos para el mes? Este es un lector fuera de línea para Fiction Press que te permitirá leer tus historias sobre la marcha. También le permite administrar y comprobar

  • brickit Gratis

    Un repositorio basado en la web de plásmidos y biobricks (ver http://parts.mit.edu) además de programas de utilidad relacionados que apoyan la investigación de biología sintética.

  • Harrow Gratis

    Una biblioteca Java, un servicio web y un webclient para recopilar metadatos. Actualmente soporta la cosecha de OAI-PMH a Fedora 2, pero se puede ampliar fácilmente para soportar más protocolos.

  • MLPA Analyzer Gratis

    MLPA Analyzer es un entorno de flujo de trabajo y análisis para amplificación de sonda dependiente de multiplex Ligación

  • Physics Solving Toolkit Gratis

    Phyz es un programa educativo que muestra varias teorías/conceptos de Física y contiene conjuntos de programas de resolución de problemas.La filosofía básica es explicar y proporcionar una interfaz fácil para la resolución