eTLA 2.1.0
Pobieranie będzie można pobrać w ciągu 5 sekund.
Możesz również kliknąć następujący link do pobierania zewnętrznego, aby rozpocząć pobieranie:
http://sourceforge.net/projects/etla/files/tla-tools/2.1.0/tla-tools_2.1.0.jar/download
O eTLA
Wtyczka TLA+ Eclipse IDE. Integracja formalnego języka definicji "Temporal Logic of Actions" do określania systemów w Eclipse IDE
Programy pokrewne
-
TinyIDE MUSH Programming Tool Wolna
Projekt TinyIDE jest próbą utworzenia nowego klienta MUSH dla programistów w TinyMUSH, PennMUSH itp. Spowoduje to formatowanie kodu, przeglądanie obiektów i ogólne funkcje klienta MUSH.
-
Pesoguin Calendar free cartoon Wolna
Jest to aplikacja kalendarz "Pesoguin &™; W tej aplikacji można cieszyć się personalizacją. Ă ̆ Â € Â » Pesoguin jest wyimaginowanym zwierzęciem podobnym do dziecka pingwina cesarza, który jest bardzo ładny i żyje w I
-
Transparent skin Green Bezpłatna wersja próbna
Skóra dla lepszej klawiatury i inteligentnej klawiatury Pro.Przydatne, aby zobaczyć, co dzieje się pod klawiaturą (jak czat, wiersz polecenia, itp...).Jeśli lubisz lub korzystać z tej pracy, zawsze możesz kupić mi piwo
-
TubeMonitor Bezpłatna wersja próbna
TubeMonitor to widżet, który pomaga monitorować liczbę wyświetleń filmów na youtube. Wymagana jest tylko twoja nazwa użytkownika.Nie musisz już odwiedzać youtube co jakiś czas, aby uzyskać zaktualizowaną liczbę wyświetleń
-
I'm Out! - Call interceptor Wolna
Czy masz zwyczaj zapominania telefonu w domu i martwić się, czy ktoś próbuje do Ciebie zadzwonić? A może chcesz mieć możliwość pozostawienia drogiego telefonu z Androidem w domu podczas udziału w niechlujnej aktywności na świ
-
DIG Interface Wolna
Schematy XML, XMLBeans i implementacja interfejsu DIG-- znormalizowany interfejs XML do systemów Description Logics opracowany przez DL Implementation Group (DIG).
-
Onemind common java library Wolna
onemind-commons zawiera kilka bibliotek java: common-java: java datastructure/util library; relacyjne ziarę: rozszerzenie biblioteki fasoli jawa dla relacyjnej reprezentacji modelu obiektu; invocation: optimzable ram otoki re
-
UPSD Log Parser Wolna
Usługa UPSD Log Parser (ulp) monitoruje wiadomości wysyłane przez upsd do syslogd. Wyodrębnia dane z nich i wstawia je do pliku RRD, z którego administratorzy mogą uzyskać wykresy stanu UPS.
-
CamPainter Lite Bezpłatna wersja próbna
CamPainter to potężne oprogramowanie do malowania palców.1. Do 1024x768 pikseli kanwa / w ikona nawigacji2. Szybka reakcja i przyjazny dla użytkownika interfejs3. Koło wyboru barwy/nasycenia4. Kroplomierz: Podnieś w
-
idyaDBX - SQL DBMS in PHP Wolna
idyaDBX to lekka biblioteka napisana w PHP, która implementuje osadzony aparat bazy danych SQL, z surowymi danymi przechowywanymi jako XML. Skrypty PHP mogą zawierać idyaDBX jako nagłówek do obsługi swoich danych przy użyciu