Формалізація статей податкового кодексу України

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

Files in this item

Name: Формалізація ...

Size: 5.484Mb

Format: PDF

Факультет комп'ютерних наук, фізики та математики
Кафедра алгебри, геометрії та математичного аналізу. Кафедра інформатики програмної інженерії та економічної кібернетики. Кафедра фізики та методики її навчання.