Floyd-Naur invariance proof method: metoda niezmienników Naura-Floyda
Jedna z metod analizy poprawności algorytmów.
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.