Архив
Всесоюзные конференции, семинары, симпозиумы, совещания, съезды, школы-семинары
Всесоюзная конференция молодых ученых
Акты экспертизы тезисов докладов
Акт экспертизы
Акт экспертизы
тезисов доклада И.В. Касаткиной "Доказательство свойств программ в языке высокого уровня с косвенной адресацией".

Названия статей: "Доказательство свойств программ в языке высокого уровня с косвенной адресацией"
Оригинальный язык документа: русский
Организации: ИК АН УССР

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


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

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