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

Архив Научное творчество Работы 1984 г. Статья "Научные основы доказательного программирования" Слайды

	Слайды к докладу на Президиуме АН СССР "Научные основы разработки высоконадежного программного обеспечения" 17.11.1983. Дата: 15.11.1983 Названия статей: к докладу "Научные основы разаработки высоконадежного программного обеспечения" Оригинальный язык документа: русский Авторы: Андрей Петрович Ершов Организации: Президиум АН СССР Изображения страниц: 1 2 3 4 5 6 7 8 9 10 Назад Следующий документ (Статья)
	Switch to English | Поиск | Расширенный поиск | Папки | Темы

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