postcondition: warunek końcowy
Warunek, który zawsze musi być spełniony po zakończeniu działania programu.

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.