Аграновский, А.     Верификация программ с помощью моделей. [Текст] / А. Аграновский, В. Зайцев, Б. Телеснин, Р. Хади // Открытые системы. СУБД. — 2003. — С. 45-47.

Наявність
Установа	Кількість	Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського		Перейти на сайт