correctness proof: dowód poprawności

22 listopada 2012
1 gwiadka2 gwiazdki3 gwiazdki4 gwiazdki5 gwiazdek
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.

Dyskusja

Twój adres e-mail nie zostanie opublikowany. Wymagane pola są oznaczone *