Частично определенные логические системы и алгоритмы
Прихожий А. А.
Исследованы фундаментальные основы построения компьютерных программ и цифровых устройств в не полностью специфицированных областях. Предложена теория, являющаяся базисом для спецификации, моделирования, преобразования, синтеза, распараллеливания, верификации и оптимизации частично определенных логических систем и алгоритмов. Издание ориентировано на подготовку научных кадров, аспирантов, магистрантов и инженеров по соответствующим учебным и научным специальностям.
Tahun:
2013
Penerbit:
ЭБС Лань
Bahasa:
russian
ISBN 10:
9855501799
ISBN 13:
9789855501795
Fail:
PDF, 3.35 MB
IPFS:
,
russian, 2013