681.142.2
П782 2	Проверка и утверждение программ реального времени [Текст] / С. Болонья, У. Эренбергер, П. Пур-Вестерхейд [и др.] ; пер. с англ. А. А. Стукаленко ; под ред. А. И. Никитина. — Киев : Наук. думка, 1990. — 212, [1] с.
ISBN 5-12-000381-8