Szukaj

narzędzia

W innych językach

Weryfikacja formalna

W informatyce weryfikacja formalna to stwierdzenie o poprawności algorytmu w oparciu o formalne metody matematyczne.

Źródło: "http://pl.wikipedia.org/wiki/Weryfikacja_formalna"

Kategoria: Algorytmika

Ukryta kategoria: Zalążki artykułów

SEO Tools wymiana linkami SEO Tools wymiana linkami tanie kredyty gotówkowe kreatyna Plaza 3 star hotel Los Angeles krynica noclegi Sejm Tyk