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