Формалізація статей податкового кодексу України
dc.contributor.author | Песчаненко, В. С. | |
dc.contributor.author | Полторацький, М. Ю. | |
dc.contributor.author | Залужна, А. А. | |
dc.date.accessioned | 2016-02-09T14:22:17Z | |
dc.date.available | 2016-02-09T14:22:17Z | |
dc.date.issued | 2015 | |
dc.description | Песчаненко, В. С. Формалізація статей податкового кодексу України / В. С. Песчаненко, М. Ю. Полторацький, А. А. Залужна // ІННОВАЦІЙНІ КОМП’ЮТЕРНІ ТЕХНОЛОГІЇ У ВИЩІЙ ШКОЛІ. - Львів : Вид-во Нац. ун-ту «Львівська політехніка», 2015. - С. 153-157. | uk_UA |
dc.description.abstract | Розглянуто технологію перевірки юридичних, та правових актів. Розглянута частина формальної моделі законодавчих актів України, а також процес формалізації засобами інсерційного моделювання. | uk_UA |
dc.identifier.uri | http://ekhsuir.kspu.edu/handle/123456789/1598 | |
dc.subject | формальні моделі | uk_UA |
dc.subject | базові протоколи | uk_UA |
dc.subject | юриспруденція | uk_UA |
dc.subject | інсерційне моделювання | uk_UA |
dc.title | Формалізація статей податкового кодексу України | uk_UA |
dc.type | Article | uk_UA |