518.5 К56 2 Ковалев, Андрей     О верификации ПРАЛУ-алгоритмов с помощью моделирующих сетей Петри [Текст] / Андрей Ковалев. — Минск : Изд-во ИТК, 1990. — 30 с.

Наявність
Установа	Кількість	Документ на сайті установи
Науково-технічна бібліотека Львівського національного університету «Львівська політехніка»	1	Перейти на сайт