Floyd-Naur invariance proof method: metoda niezmienników Naura-Floyda

22 listopada 2012
1 gwiadka2 gwiazdki3 gwiazdki4 gwiazdki5 gwiazdek
Jedna z metod analizy poprawności algorytmów.

Dyskusja

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