Частично определенные логические системы и алгоритмы
Loading...
Authors
item.page.other-contributor
item.page.advisors
item.page.editors
Date
Publisher
item.page.issn
item.page.isbn
978-985-550-179-5
item.page.depon
item.page.diss
Journal Title
Journal ISSN
Volume Title
item.page.title-alternative
Монография
Abstract
Исследованы фундаментальные основы построения компьютерных программ и цифровых устройств в не полностью специфицированных областях. Предложена теория, являющаяся базисом для спецификации, моделирования, преобразования, синтеза, распараллеливания, верификации и оптимизации частично определенных логических систем и алгоритмов. Издание ориентировано на подготовку научных кадров, аспирантов, магистрантов и инженеров по соответствующим учебным и научным специальностям. Табл. 57. Ил. 172. Библиогр. 109 назв.
item.page.description-other
Description
Citation
Прихожий, А. А. Частично определенные логические системы и алгоритмы / А. А. Прихожий. – Минск : БНТУ, 2013. – 341, [1] с.