Верификация алгоритмов управления на ПЛ/1 : Учебное пособие /
Толокнов, В.И.
Верификация алгоритмов управления на ПЛ/1 : Учебное пособие / В.И. Толокнов, О.В. Шевяков ; М-во высш. и сред. спец. образ. СССР, Московское высшее техническое училище им. Н.Э. Баумана. - Москва : Б. и., 1984. - 72 с. ; 20 см.
ЭВМ вообще
Верификация алгоритмов управления на ПЛ/1 : Учебное пособие / В.И. Толокнов, О.В. Шевяков ; М-во высш. и сред. спец. образ. СССР, Московское высшее техническое училище им. Н.Э. Баумана. - Москва : Б. и., 1984. - 72 с. ; 20 см.
ЭВМ вообще