>
пристрій віднімання семантика верифікація програма
Висновок
У даній роботі була написана програма моделювання АЛУ для вирахування УДЦ. Також була проведена верифікація лінійної ділянки програми, ділянки, що містить розгалуження, циклу, була описана операційна семантика і побудовані мережі Петрі для підпрограми. br/>