eTLA 2.1.0
Podrás descargarlo en 5 segundos.
También puede hacer clic en el siguiente enlace de descarga externa para iniciar la descarga:
http://sourceforge.net/projects/etla/files/tla-tools/2.1.0/tla-tools_2.1.0.jar/download
acerca de eTLA
TLA+ Eclipse IDE plugin. Integración del lenguaje de definición formal 'Lógica temporal de acciones' para especificar sistemas en Eclipse IDE
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