Инструментальные средства трансформации схем алгоритмов и программ

Скорочена інформація про документ
dc.contributor.authorМохница, А.С.
dc.date.accessioned2008-08-21T17:28:20Z
dc.date.available2008-08-21T17:28:20Z
dc.date.issued2006
dc.description.abstractСтатья посвящена инструментарию трансформации схем алгоритмов и программ, разрабатываемому в рамках исследований по алгебраической алгоритмике. Демонстрируется его применение на доказательстве гипотезы о тождественности двух булевых функций.en_US
dc.description.abstractPaper is dedicated to the review of the toolkit for transformation of schemas of algorithms and programs, developed within the framework of studies on algebraic algorithmics. Use of the toolkit is demonstrated on the proof of hypothesis of Boolean functions equality.en_US
dc.identifier.citationИнструментальные средства трансформации схем алгоритмов и программ / А.С. Мохница // Проблеми програмування. — 2006. — N 2-3. — С. 377-382. — Бібліогр.: 9 назв. — рос.en_US
dc.identifier.issn1727-4907
dc.identifier.udc681.3
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/1536
dc.language.isoruen_US
dc.publisherІнститут програмних систем НАН Україниen_US
dc.statuspublished earlieren_US
dc.subjectФормальні методи програмуванняen_US
dc.titleИнструментальные средства трансформации схем алгоритмов и программen_US
dc.title.alternativeToolkit for transformation of schemas of algorithms and programsen_US
dc.typeArticleen_US

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
46-Mohnitsa.pdf
Розмір:
349.58 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
1.81 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Проблеми програмування, 2006, № 2-3