eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingFormal Methods ToolkitFormal Methods Toolkit
  • Data: 2018-04-23 08:46:21
    Temat: Formal Methods Toolkit
    Od: Maciej Sobczak <s...@g...com> szukaj wiadomości tego autora
    [ pokaż wszystkie nagłówki ]

    Z przyjemnością informuję o dostępności nowego narzędzia:

    http://inspirel.com/fmt/

    FMT jest pakietem rozszerzeń dla programu Mathematica, pozwalającym na tworzenie
    modeli, analizę, wizualizaję, weryfikację i generację kodu dla Ady, C i C++.

    Kilka zrzutów ekranu pokazuje próbkę możliwości:

    http://inspirel.com/fmt/gallery.html

    FMT jest narzędziem open-source.


    Chętnie odpowiem na pytania.

    --
    Maciej Sobczak * http://www.inspirel.com

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: