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

> Dodaj do ulubionych
Jedna z metod analizy poprawności algorytmów.

Dodaj komentarz

siedem − 1 =