Архив
Архив С.С. Лаврова
Конференции
Объектно-ориентированное программирование : Всесоюзная конференция "Актуальные проблемы системного программирования"
Тезисы доклада
Тезисы доклада
Логический анализ объектно-ориентированного доказательного программирования
Дата: 16.01.1990- 18.01.1990
Оригинальный язык документа: русский
Авторы: Николай Николаевич Непейвода

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


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

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