О верификации ПРАЛУ-алгоритмов с помощью моделирующих сетей Петри [Текст] / Ковалев Андрей Владимирович
Publication: Минск : ИТК, 1990Description: 30 с. : ил.Language: російська.Country: Білорусь.Форматний номер: 2 формат (висота > 17-23 см)Серія: Препринт / АН БССР, Ин-т техн. кибернетики, № 20Вид літератури за цільовим призначенням: НауковіУДК: 519.254Bibliography: Библиогр.: с. 28-29 (17 назв.).УДК-теми: 519.254 Обчислювальна обробка даних. Алгоритми « 519.25 Обробка статистичних даних « 519.2 Ймовiрність. Математична статистика « 51 Математика « 5 Математика. Природничi науки Item type:
Книга
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
|
Книга
|
Книгосховище відділу книгозберігання (KSHVKZ) Фонд відділу книгозберігання | 01299212 (Browse shelf(Opens below)) | Available | 01299212 |
Библиогр.: с. 28-29 (17 назв.)