ALGORYTMIKA

Weryfikacja formalna

weryfikacja formalna - w informatyce to stwierdzenie o poprawności algorytmu w oparciu o formalne metody matematyczne.
Ta strona internetowa została utworzona bezpłatnie pod adresem Stronygratis.pl. Czy chcesz też mieć własną stronę internetową?
Darmowa rejestracja