Львов, М. С.     Об одном подходе к верификации алгебраических вычислений [Текст] / М.С. Львов // Проблеми програмування : Науковий журнал. — К. : Інститут програмних систем НАН України, 2011. — №4. — с.23-35.

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