Електронний каталог Науково-технічної бібліотеки Національного університету „Львівська політехніка“

О верификации ПРАЛУ-алгоритмов с помощью моделирующих сетей Петри [Текст] / Ковалев Андрей Владимирович

Автор: Ковалев Андрей ВладимировичPublication: Минск : ИТК, 1990Description: 30 с. : ил.Language: російська.Country: Білорусь.Серія: Препринт / АН БССР, Ин-т техн. кибернетики, № 20УДК: 519.254Bibliography: Библиогр.: с. 28-29 (17 назв.).УДК-теми: 519.254 Обчислювальна обробка даних. Алгоритми « 519.25 Обробка статистичних даних « 519.2 Ймовiрність. Математична статистика « 51 Математика « 5 Математика. Природничi науки Item type: Книга
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
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.

to post a comment.
Share

Національний університет „Львівська політехніка“

Науково-технічна бібліотека

Koha Ukraine

Powered by Koha