Архив
Архив С.С. Лаврова
Отзывы, рецензии
Отзыв
Отзыв
на статью С.А. Абрамова, Е.А. Казьминой и В.А. Кукляевой "Применение методов верификации программ к проверке утверждений о погрешностях"
Дата: 25.02.1985
Оригинальный язык документа: русский
Авторы: Святослав Сергеевич Лавров
Персоналии: Юрий Владимирович Матиясевич, Сергей Александрович Абрамов, Е. А. Казьмина, В. А. Кукляева

Изображения страниц:
1 2


Назад
Следующий документ (Отзыв)
Предыдущий документ (Письмо)

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016