Частично определенные логические системы и алгоритмы
Исследованы фундаментальные основы построения компьютерных программ и цифровых устройств в не полностью специфицированных областях. Предложена теория, являющаяся базисом для спецификации, моделирования, преобразования, синтеза, распараллеливания, верификации и оптимизации частично определенных логи...
| Главный автор: | |
|---|---|
| Формат: | Книга |
| Язык: | Russian |
| Публикация: |
Минск
БНТУ
2013
|
| Online-ссылка: | ЭБС Лань ЭБС Лань Перейти в каталог НТБ ТГАСУ |
