документы   об архиве   о проекте   Андрей Ершов   Switch to English

Архив Архив С.С. Лаврова Отзывы, рецензии Отзыв

	Отзыв на статью С.А. Абрамова, Е.А. Казьминой и В.А. Кукляевой "Применение методов верификации программ к проверке утверждений о погрешностях" Дата: 25.02.1985 Оригинальный язык документа: русский Авторы: Святослав Сергеевич Лавров Персоналии: Юрий Владимирович Матиясевич, Сергей Александрович Абрамов, Е. А. Казьмина, В. А. Кукляева Изображения страниц: 1 2 Назад Следующий документ (Отзыв) Предыдущий документ (Письмо)
	Switch to English | Поиск | Расширенный поиск | Папки | Темы

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