Име на инварианта: Умножение (намиране на A * B)
Kатегория: Разни

Описание:
Умножение на А с B

Изглед на инварианта:
c = a * b;

Пемплейт:
<span class="is2_var">c</span> = <span class="is2_var">a</span> * <span class="is2_var">b</span>;