Baur, P     Konzeption eines Verfahrens zur rechnerunterstutzten Verifikation des Entwurfs von Automatisierungsprogrammen [Text] : diss / P Baur. - Stuttgart : [s. n.], 1987. - 115 с. - Б. ц. ; Библиогр.: с. 105-114 Перевод заглавия: 0 ^aКонцепция метода верификации проекта разработки программ автоматизации с помощью ЭВМ. Дис    Перевод заглавия: 0 ^aКонцепция метода верификации проекта разработки программ автоматизации с помощью ЭВМ. Дис ГРНТИ ^a50.05.13 УДК ^a658.011.56 ^a681.518 Свободных экз. нет