О верификации ПРАЛУ-алгоритмов с помощью моделирующих сетей Петри [Текст] / Ковалев Андрей Владимирович
Вихідні дані: Минск : ИТК, 1990Опис: 30 с. : ил.Мова: російська.Країна: Білорусь.Форматний номер: 2 формат (висота > 17-23 см)Серія: Препринт / АН БССР, Ин-т техн. кибернетики, № 20Вид літератури за цільовим призначенням: НауковіУДК: 519.254Наявність бібліографії/покажчика: Библиогр.: с. 28-29 (17 назв.).УДК-теми: 519.254 Обчислювальна обробка даних. Алгоритми « 519.25 Обробка статистичних даних « 519.2 Ймовiрність. Математична статистика « 51 Математика « 5 Математика. Природничi науки Тип одиниці:
Тип одиниці зберігання | Поточна бібліотека | Шифр зберігання | Стан | Очікується на дату | Штрих-код | |
---|---|---|---|---|---|---|
![]() |
Книгосховище відділу книгозберігання (KSHVKZ) Фонд відділу книгозберігання | 01299212 (Огляд полиці(Відкривається нижче)) | Доступно | 01299212 |
Библиогр.: с. 28-29 (17 назв.)