Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот документ:
https://elib.bsu.by/handle/123456789/212947| Заглавие документа: | Верификация цифровых систем. учебная программа учреждения высшего образования по учебной дисциплине для специальности: 1-31 03 01 Математика (по направлениям). Направление специальности: 1-31 03 01-04 Математика (научно-конструкторская деятельность). № УД - 6082/уч. |
| Авторы: | Гладков, Александр Львович Зайцев, Виктор Сергеевич |
| Тема: | ЭБ БГУ::ТЕХНИЧЕСКИЕ И ПРИКЛАДНЫЕ НАУКИ. ОТРАСЛИ ЭКОНОМИКИ::Автоматика. Вычислительная техника |
| Дата публикации: | 2018 |
| Аннотация: | Учебная программа учреждения высшего образования по учебной дисциплине для специальности: 1-31 03 01 Математика (по направлениям). Направление специальности: 1-31 03 01-04 Математика (научно-конструкторская деятельность). № УД - 6082/уч. |
| URI документа: | http://elib.bsu.by/handle/123456789/212947 |
| Располагается в коллекциях: | Кафедра математической кибернетики |
Полный текст документа:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| ДС _Верификация цифровых систем_elib.pdf | 656,68 kB | Adobe PDF | Открыть |
Все документы в Электронной библиотеке защищены авторским правом, все права сохранены.