Электронный каталог НБ БНТУ

rus

Научная библиотека БНТУ
Режим работы: Пн-Пт.
- читальные залы с 9:00 до 20:00
- абонементы с 9:00 до 19:00
Сб. с 9:00 до 16:45. Вс. - выходной.
Адреса: г. Минск, ул. Я. Коласа, 16 (читальные залы)
пр. Независимости, 65 (абонементы и читальные залы)

ОНЛАЙН-ЗАКАЗ книг из каталога
ФИЛИАЛЫ
КНИГООБЕСПЕЧЕННОСТЬ

Поиск :

Личный кабинет :

Электронный каталог: Шарыкин, Р.Е. - Верификация распределенных объектно-ориентированных стохастических гибридных систем

Шарыкин, Р.Е. - Верификация распределенных объектно-ориентированных стохастических гибридных систем

Верификация распределенных объектно-ориентированных стохастических гибридных систем

Статья
Автор: Шарыкин, Р.Е.
Веснiк Гродзенскага дзяржаўнага унiверсiтэта iмя Янкi Купалы. Серыя 2. Матэматыка. Фiзiка. Iнфарматыка, вылiчальная тэхнiка i кiраванне: Верификация распределенных объектно-ориентированных стохастических гибридных систем
б.г.
ISBN отсутствует

На полку

Статья

Шарыкин, Р.Е.
Верификация распределенных объектно-ориентированных стохастических гибридных систем / Р. Е. Шарыкин, А. Н. Курбацкий // Веснiк Гродзенскага дзяржаўнага унiверсiтэта iмя Янкi Купалы. Серыя 2. Матэматыка. Фiзiка. Iнфарматыка, вылiчальная тэхнiка i кiраванне / гал. рэд. I.Ф. Кiтурка; заснавальнiк Гродзенскi дзяржауны унiверсiтэт iмя Я. Купалы. – 2019. – Т.9 N3. – С. 123-132. – На рус. яз.

004.942

общий = БД Наука
общий = ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ
общий = СТОХАСТИЧЕСКИЕ СИСТЕМЫ
общий = ГИБРИДНЫЕ СИСТЕМЫ
общий = ВЕРИФИКАЦИЯ
общий = МАРКОВСКИЕ ПРОЦЕССЫ
общий = СПЕЦИФИКАЦИЯ