TY  - BOOK
AU  - Толокнов, В.И.
TI  - Верификация алгоритмов управления на ПЛ/1: Учеб. пособие для студентов специальностей "Автоматизир. системы управления" 0646, "Экон. кибернетика" 2035 Часть 2/ 
PY  - 1984///
CY  - М.
KW  - კიბერნეტიკა
ER  -