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

eTLA 2.1.0

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

TLA+ Eclipse IDE plugin. Integración del lenguaje de definición formal 'Lógica temporal de acciones' para especificar sistemas en Eclipse IDE

historial de versiones

  • Versión 2.1.0 publicado en 2005-08-22
    Varias correcciones y actualizaciones
  • Versión 2.1.0 publicado en 2005-08-22

Detalles del programa

Programas relacionados

  • TinyIDE MUSH Programming Tool Gratis

    El proyecto TinyIDE es un intento de crear un nuevo cliente MUSH para codificadores en TinyMUSH, PennMUSH, etc. Esto incluirá el formato de código, la exploración de objetos y la funcionalidad general del cliente MUSH.

  • Pesoguin Calendar free cartoon Gratis

    Esta es una aplicación de calendario de "Pesoguin", un personaje popular en Japón.You™ encontrará una herramienta llena de entretenimiento. En esta app podrás disfrutar de la personalización de la misma. Pesoguin es

  • Transparent skin Green Prueba gratuita

    Skin for Better Keyboard y Smart Keyboard Pro.Es útil para ver lo que sucede bajo el teclado (como chat, línea de comandos, etc...).Si te gusta o utilizas este trabajo, siempre puedes comprarme una cerveza : http://pp0

  • TubeMonitor Prueba gratuita

    TubeMonitor es un widget que te ayuda a monitorizar el número de visualizaciones de tus vídeos en youtube. Solo se requiere su nombre de usuario.Ya no tienes que visitar youtube de vez en cuando para obtener un recuento d

  • I'm Out! - Call interceptor Gratis

    ¿Tienes la costumbre de olvidar tu teléfono en casa y preocuparte por si alguien está tratando de llamarte? ¿O quieres poder dejar tu costoso teléfono Android en casa mientras asistes a una actividad al aire libre desordenada

  • DIG Interface Gratis

    Esquemas XML, XMLBeans e implementación Java de la interfaz DIG-- una interfaz XML estandarizada para los sistemas Description Logics desarrollado por el Grupo de Implementación de DL (DIG).

  • Onemind common java library Gratis

    onemind-commons contiene varias bibliotecas java: common-java: java datastructure/util library; relational-bean: una extensión a la biblioteca de bean java para la representación del modelo de objetos relacionales; invocación

  • UPSD Log Parser Gratis

    UPSD Log Parser (ulp) supervisa los mensajes enviados por upsd a syslogd. Extrae los datos de estos e inserta en un archivo RRD, desde donde los administradores pueden obtener gráficos del estado de UPS.

  • CamPainter Lite Prueba gratuita

    CamPainter es un potente software de pintura de dedos.1. Hasta 1024x768 píxeles lienzo / w icono de navegación2. Respuesta rápida e interfaz fácil de usar3. Rueda de selección de tono/saturación4. Cuentagotas: Recog

  • idyaDBX - SQL DBMS in PHP Gratis

    idyaDBX es una biblioteca ligera escrita en PHP que implementa un motor de base de datos SQL incrustable, con los datos sin procesar que se almacenan como XML. Los scripts PHP pueden incluir idyaDBX como encabezado para manej