Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. Agda 1

Agda 1 1.0.2

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

Agda es un sistema para desarrollar de forma incremental pruebas y programas. Este es el proyecto sourceforge para el Agda PREVIOUS (Agda 1). Una versión más reciente de Agda (Agda 2) en pruebas beta está disponible en: http://wiki.portal.chalmers.se/agda/

historial de versiones

  • Versión 1.0.2 publicado en 2008-04-23
    Varias correcciones y actualizaciones
  • Versión 1.0.2 publicado en 2008-04-23

Detalles del programa

Programas relacionados

  • Survival Medicine Guide Prueba gratuita

    "Requiere Adobe Reader gratis"*****Esta es una guía de medicina de supervivencia en caso de que lo que todos tememos realmente sucede. Este es un gran cumplido para cualquier buen manual de supervivencia. Es posible que e

  • terz Gratis

    Terz el increíble AutoTagger es un tagger de archivos de audio automatizado y renombrador de archivos. Utiliza la información proporcionada por musicbrainz. Mediante el uso de la información de contexto Terz logra muy buenos

  • Lua ODE Gratis

    Lua ODE es enlaces de OpenDE para el lenguaje Lua para plataformas Windoze, OS X y Linux.

  • assistent-fah Gratis

    El asistente para Folding@home calcular la velocidad media de su equipo en Folding@home proyecto informático distribuido por registro de cliente.Asistencia para Folding@home está licenciado bajo licencia GNU General Public

  • Spanish Tester Lite Prueba gratuita

    Spanish Tester Pro te pone a prueba sobre conjugaciones de verbos españoles y el acuerdo entre partes del habla mediante la generación de preguntas de cuestionario simuladas.Las preguntas de opción múltiple y rellenar en

  • IRBEM-LIB Gratis

    IRBEM-LIB proporciona rutinas para calcular coordenadas magnéticas para cualquier ubicación en el campo magnético de la Tierra, para realizar conversiones de coordenadas, para evaluar modelos de geofísica/física espacial y pa

  • libTopo Gratis

    libTopo y TopoMap son herramientas para utilizar, convertir, analizar y mostrar mapas topográficos como ETOPO2, ETOPO5 y GLOBE. TopoMap es la interfaz de línea de comandos para convertir bases de datos topográficas en datos s

  • Nanodesigner Gratis

    Nanodesigner es una plataforma de software para la investigación en nanotecnología molecular. Tiene una arquitectura plug-in e incluirá herramientas para la visualización molecular y modelado, diseño de nuevas moléculas compl

  • Analysis & Reconstruction Sound Gratis

    El motor de sonido de análisis y reconstrucción analiza un archivo de sonido en un espectrograma y es capaz de sintetizar este espectrograma, o cualquier otra imagen creada por el usuario, de nuevo en un sonido.

  • G200X Motion controller Gratis

    Firmware y código GUI para el controlador de movimiento Geckodrive G200X