eTLA 2.1.0
Sarai in grado di scaricare in 5 secondi.
Puoi anche fare clic sul seguente link per il download esterno per iniziare il download:
http://sourceforge.net/projects/etla/files/tla-tools/2.1.0/tla-tools_2.1.0.jar/download
Circa eTLA
Plug-in IDE DI TLA+ Eclipse. Integrazione del linguaggio di definizione formale 'Temporal Logic of Actions' per specificare i sistemi in Eclipse IDE
Programmi correlati
-
TinyIDE MUSH Programming Tool Gratuito
Il progetto TinyIDE è un tentativo di creare un nuovo client MUSH per i programmatori in TinyMUSH, PennMUSH, ecc. Ciò sarà caratterizzato dalla formattazione del codice, dall'esplorazione degli oggetti e dalla funzionalità g
-
Pesoguin Calendar free cartoon Gratuito
Questa è un'app di calendario di "Pesoguin", un personaggio popolare in Giappone.You’lo troverai uno strumento pieno di intrattenimento. In questa app puoi goderti la personalizzazione di esso. Pesoguin è un an
-
Transparent skin Green Prova gratuita
Skin per una migliore tastiera e smart keyboard pro.Utile per vedere cosa succede sotto la tastiera (come chat, riga di comando, ecc...).Se ti piace o usi questo lavoro, puoi sempre comprarmi una birra: http://pp01.gdu
-
TubeMonitor Prova gratuita
TubeMonitor è un widget che ti aiuta a monitorare il numero di visualizzazioni per i tuoi video su youtube. È richiesto solo il tuo nome utente.Non devi più visitare youtube di tanto in tanto per ottenere un conteggio del
-
I'm Out! - Call interceptor Gratuito
Hai l'abitudine di dimenticare il telefono a casa e preoccuparti se qualcuno sta cercando di chiamarti? O vuoi essere in grado di lasciare il tuo costoso telefono Android a casa mentre partecipi a un'attività all'aperto disor
-
DIG Interface Gratuito
Schemi XML, XMLBeans e implementazione Java dell'interfaccia DIG-- un'interfaccia XML standardizzata per i sistemi Description Logics sviluppato dal gruppo di attuazione DL (DIG).
-
Onemind common java library Gratuito
onemind-commons contiene diverse librerie java: common-java: java datastructure/util library; relational-bean: un'estensione della libreria java bean per la rappresentazione del modello a oggetti relazionale; invocazione: un
-
UPSD Log Parser Gratuito
UPSD Log Parser (ulp) monitora i messaggi inviati da upsd a syslogd. Estrae i dati da questi e li inserisce in un file RRD, da cui gli amministratori possono ottenere grafici dello stato UPS.
-
CamPainter Lite Prova gratuita
CamPainter è un potente software di pittura delle dita.1. Icona di navigazione Canvas/w fino a 1024x768 pixel2. Risposta rapida e interfaccia intuitiva3. Ruota di selezione tonalità/saturazione4. Contagocce: raccogl
-
idyaDBX - SQL DBMS in PHP Gratuito
idyaDBX è una libreria leggera scritta in PHP che implementa un motore di database SQL incorporabile, con i dati non elaborati archiviati come XML. Gli script PHP possono includere idyaDBX come intestazione per gestire i prop