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

Efficient Symbolic Tools

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

Pakiet Efficient Symbolic Tools (EST) jest narzędziem opartym na BDD do formalnej weryfikacji równoczesnych systemów. Jego zalety to elastyczność, przenośność i wydajne zarządzanie pamięcią. Działa w różnych systemach operacyjnych, w tym Linux i Windows 2000/XP.

historia wersji

  • Wersja N/A opublikowany na 2006-10-09
    Kilka poprawek i aktualizacji
  • Wersja N/A opublikowany na 2006-10-09

Szczegóły programu

Programy pokrewne

  • OpenX Android Widget Wolna

    Widżet Android, który może być używany w aplikacjach na Androida do umieszczania reklam obsługiwanych przez OpenX w układzie.

  • Send Sources Wolna

    To oprogramowanie jest jak "send to/destinataire", ale nie musisz mieć outlooka lub Oe, to tylko do wysyłania załączników do jednego adresu lub listy adresów tylko w jednym clik; bardzo przydatne, aby wysłać do / ze

  • textPlus Messenger+Group Text Wolna

    Wysyłaj wiadomości i fotki do każdego na całym świecie za darmo!BEZPŁATNA APLIKACJA do app * wiadomości w dowolnym miejscu na świecie z textPlus! Dla telefonów i tabletów z systemem Android.Ponadto tekst na dowolny 10-cyf

  • DC# Wolna

    Dc# jest rozszerzonym klientem DirectConnect napisanym w języku C# dla platform .NET. Planowane funkcje obejmują ulepszone funkcje interfejsu i wyszukiwania, uruchamiane w trybie bezczynności serie przesyłania, pobieranie wi

  • AIS IM+ Wolna

    Opis w języku tajskimAIS IM+ (Udział w Chatn)MSN, Facebook, Twitter, GoogleTalk, Yahoo, MySpace, ICQ, Jabber, AOL Emotikon , Facebook Online Facebook Oś czasu Twitter, @Mention, Odpowiedz, Follow / Un zwolennikiem, P

  • MINDdroid Wolna

    Steruj robotami LEGO MINDSTORMS za pomocą telefonu z Androidem. 2010/11 Grupa LEGOMINDdroid to 2.1+ Android Aplikacja do bezpośredniego działania w czasie rzeczywistym zdalnego sterowania robotami LEGO MINDSTORMS wykorzystu

  • Linux MSN Messenger Engine by Jonathan Wolna

    LMME (Linux MSN Messenger Engine) to w pełni asynchroniczne, wielowątkowe aparat protokołu MSN. Jeśli podoba Ci się mój projekt proszę darować do mnie za pośrednictwem PayPal do [email protected]

  • Texty : Free SMS (via Way2SMS) Wolna

    #Please opuścić oceny i emails.#We wkrótce doda więcej bram. Texty to aplikacja, która pozwala na wysyłanie darmowych SMS z android za pomocą konta online way2sms. Możesz wysłać SMS do jednej osoby, a nawet wysłać sms grupowy

  • Panic Button Wolna

    Przycisk paniki udostępnia ikonę w zasobniku systemowym windows. Klikając tę ikonę, użytkownik może wysłać zrzut ekranu i formularz raportu do działu pomocy technicznej lub podobnego. Powinno to ułatwić użytkownikom dostarcza

  • .NET UseNet Downloader & Streamer Wolna

    .NET usenet client (obsługa ssl). Ostatecznie powinien obsługiwać przesyłania strumieniowego buforowane z serwera i rejestrowania dla nośnika widoczne.