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.identifier.uri |
http://ekhsuir.kspu.edu/handle/123456789/1598 |
|
dc.description |
Песчаненко, В. С. Формалізація статей податкового кодексу України / В. С. Песчаненко, М. Ю. Полторацький, А. А. Залужна // ІННОВАЦІЙНІ КОМП’ЮТЕРНІ ТЕХНОЛОГІЇ У ВИЩІЙ ШКОЛІ. - Львів : Вид-во Нац. ун-ту «Львівська політехніка», 2015. - С. 153-157. |
uk_UA |
dc.description.abstract |
Розглянуто технологію перевірки юридичних, та правових актів. Розглянута частина формальної моделі законодавчих актів України, а також процес формалізації засобами інсерційного моделювання. |
uk_UA |
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 |