681.142.2 Г90 2 Грудинин, Владимир     Об одном подходе к доказательному проектированию дискретных систем на основе логико-алгебраических спецификаций [Текст] / Владимир Грудинин, Валерий Коваль, Анатолий Якуба. — Киев : ИК, 1994. — 30 с.

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