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