Верификация алгоритмов управления на ПЛ/1, учебное пособие

Bibliographic Details
Main Author:	Толокнов В. И.
Corporate Author:	Московское высшее техническое училище им. Н. Э. Баумана (МВТУ)
Other Authors:	Шевяков О. В. (340)
Language:	Russian
Published:	Москва, Изд-во МВТУ, 1984
Subjects:	Автоматическое управление > Алгоритмизация процесса алгоритмы верификация управление ПЛ/1 применение терминальное управление маневры программное обеспечение учебные пособия
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=283521

MARC


LEADER	00000nam0a2200000 4500
001	283521
005	20231101235614.0
035			\|a (RuTPU)RU\TPU\book\307621
090			\|a 283521
100			\|a 20150207d1984 m y0rusy50 ca
101	0		\|a rus
102			\|a RU
105			\|a a j 001zy
200	1		\|a Верификация алгоритмов управления на ПЛ/1 \|e учебное пособие \|f В. И. Толокнов, О. В. Шевяков \|g Московское высшее техническое училище им. Н. Э. Баумана (МВТУ) ; под ред. В. И. Толокнова
210			\|a Москва \|c Изд-во МВТУ \|d 1984
215			\|a 72 с. \|c ил.
320			\|a Библиогр.: с. 70
606	1		\|a Автоматическое управление \|x Алгоритмизация процесса \|2 stltpush \|3 (RuTPU)RU\TPU\subj\944 \|9 29749
610	1		\|a алгоритмы
610	1		\|a верификация
610	1		\|a управление
610	1		\|a ПЛ/1
610	1		\|a применение
610	1		\|a терминальное управление
610	1		\|a маневры
610	1		\|a программное обеспечение
610	1		\|a учебные пособия
675			\|a 681.51:681.3(075.8) \|v 3
700		1	\|a Толокнов \|b В. И.
701		1	\|a Шевяков \|b О. В.
702		1	\|a Толокнов \|b В. И. \|4 340
712	0	2	\|a Московское высшее техническое училище им. Н. Э. Баумана (МВТУ) \|c (1943-1989) \|2 stltpush \|3 (RuTPU)RU\TPU\col\3064
801		1	\|a RU \|b 63413507 \|c 20150207
801		2	\|a RU \|b 63413507 \|c 20170915 \|g RCR
942			\|c BK