Abstract:
Розглянуто технологію перевірки юридичних, та правових актів. Розглянута частина формальної моделі законодавчих актів України, а також процес формалізації засобами інсерційного моделювання.
Description:
Песчаненко, В. С. Формалізація статей податкового кодексу України / В. С. Песчаненко, М. Ю. Полторацький, А. А. Залужна // ІННОВАЦІЙНІ КОМП’ЮТЕРНІ ТЕХНОЛОГІЇ У ВИЩІЙ ШКОЛІ. - Львів : Вид-во Нац. ун-ту «Львівська політехніка», 2015. - С. 153-157.