Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. eTLA

eTLA 2.1.0

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 5.0/5 - ‎1 ‎Głosów
Pobierz

Wtyczka TLA+ Eclipse IDE. Integracja formalnego języka definicji "Temporal Logic of Actions" do określania systemów w Eclipse IDE

historia wersji

  • Wersja 2.1.0 opublikowany na 2005-08-22
    Kilka poprawek i aktualizacji
  • Wersja 2.1.0 opublikowany na 2005-08-22

Szczegóły programu

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