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

alf 1.0

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

Alf to zbiór narzędzi do eksperymentowania z językami formalnymi. Alf jest przenośny i łatwy w użyciu. Został on opracowany w Politecnico di Milano.

historia wersji

  • Wersja files opublikowany na 2009-12-09
    Kilka poprawek i aktualizacji
  • Wersja alf-1.0 opublikowany na 2007-01-04

Szczegóły programu

Programy pokrewne

  • Png to Ico Bezpłatna wersja próbna

    Png do Ico jest łatwym w użyciu narzędziem, które można konwertować plik PNG do pliku ICON. Jego jakość konwersji jest naprawdę dobra i obsługuje konwersję wsadów. To narzędzie pozwala łatwo tworzyć wysokiej jakości ikony. Ni

  • WebFlowChart Bezpłatna wersja próbna

    Co to jest WebFlowChart?WebFlowChart to edytor schematów blokowych oparty na javie?. Zostało to opracowane do użytku w intranecie lub systemie internetowym i jest szczególnie odpowiednie do prezentacji procesów lub wykresów

  • ORCGeNext Bezpłatna wersja próbna

    CeleTo narzędzie może służyć do generowania kodu podstawowego (atrybuty, warstwa dostępu do danych, warstwa logiki biznesowej, warstwa prezentacji, projekt uruchamiania, serwer aplikacji, klient think) dla aplikacji wielowa

  • Excellent Minimize to Tray Bezpłatna wersja próbna

    Bez względu na to, czy adobe acrobat, MS Word, Excel, MS Outlook, Firefox, Microsoft Office: Każda aplikacja może być zminimalizowana w obszarze informacji (zasobniku). Minimalizuje wszystkie aplikacje z 1 klik jako ikony w o

  • Gemini Linux Wolna

    Gemini Linux to lekka dystrybucja linuksa oparta na debianie. Projekt zapewnia szybki i stabilny system z XFCE Desktop Environment i Openbox window manager jako domyślny.

  • Memento Wolna

    Memento to lekki system zarządzania wiedzą oparty na teorii memów. Użyj go do przechowywania tego, czego się nauczyłeś, a następnie użyj jego weblog stylu publikowania, aby udostępnić to, co wiesz.

  • FastCGI / CGI C++ library Wolna

    Nowoczesna, przenośna biblioteka CGI napisana w standardowym języku C++. Asynchroniczne CGI i FastCGI są obsługiwane w przejrzystej, prostej i wydajnej bibliotece opartej na bibliotekach Boost C++ (np. Boost.Asio). Bezpłatne

  • GerbMerge Wolna

    GerbMerge to program do łączenia plików Gerber / Excellon do produkcji płytek drukowanych. Może panelizować kopie tego samego zadania, różnych zadań, a także obracać zadania. GerbMerge można uruchomić w trybie wsadowym lub in

  • Japplis Toolbox Wolna

    Japplis Toolbox to kompilacja narzędzi tekstowych w jednej aplikacji.Może kodować i dekodować adres URL, Base64, Hex, ROT13, ROT47, Java unicode, Volapuk.Może konwertować liczby z/na binarne, ósemkowe, dziesiętne, szesnas

  • Eclipse CDT GNU PowerPC Plug-in Wolna

    Wtyczka dla narzędzia deweloperskiego Eclipse C/C++ (CDT), która dodaje nowe typy projektów specyficzne dla rozwoju programu PowerPC C/C++.