Зведений каталог бібліотек Миколаєва

• Класифікатори та каталоги
• Розробка програмного забезпечення

Специфікація розробки програмного забезпечення

Документи:

• Об одном подходе к верификации алгебраических вычислений [Текст] / М.С. Львов // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 23-35.