Частично определенные логические системы и алгоритмы
Исследованы фундаментальные основы построения компьютерных программ и цифровых устройств в не полностью специфицированных областях. Предложена теория, являющаяся базисом для спецификации, моделирования, преобразования, синтеза, распараллеливания, верификации и оптимизации частично определенных логи...
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Russian |
| Published: |
Минск
БНТУ
2013
|
| Online Access: | ЭБС Лань ЭБС Лань Перейти в каталог НТБ ТГАСУ |
| Summary: | Исследованы фундаментальные основы построения компьютерных программ и цифровых устройств в не полностью специфицированных областях. Предложена теория, являющаяся базисом для спецификации, моделирования, преобразования, синтеза, распараллеливания, верификации и оптимизации частично определенных логических систем и алгоритмов. Издание ориентировано на подготовку научных кадров, аспирантов, магистрантов и инженеров по соответствующим учебным и научным специальностям. |
|---|---|
| Physical Description: | 343 с. |
| ISBN: | 9789855501795 |