correctness proof: dowód poprawności

> Dodaj do ulubionych
Wykazanie za pomocą narzędzi matematycznych, że program działa zgodnie z wymaganiami przy założeniu, że na wejściu zostaną mu przekazane prawidłowe dane.
Jajko z dzwonkiem

Podoba Ci się ta strona?

Pomóż nam się rozwijać, wykupując płatne konto. Dzięki temu będziemy mogli tworzyć dla Ciebie jeszcze więcej ciekawych treści, a Ty pozbędziesz się reklam.

Dodaj komentarz

4 × jeden =