Вы здесь
Информатика-85
Количество экземпляров:
1
Колл. автор:
Вид:
Сборник или журнал
Год:
1985
Ключевые слова:
Стр.:
167 с.
Реферат:
Тематика докладов включает следую ие вопросы теории и практики программирования: автоматизация строения трансляторов, автоматический синтез программ и языки спецификаций, семантика языков программирования, логическое программирование и верификация программ.
Редактор:
Место издания:
Где проводился:
Издательство:
Форум:
Карточка:
Б2.23, Б2.24, Б3.21, Б1.3.
Информатика-85/Estonian Acad. Sciences. Ред. Дерансар П., Мацокин М., Тыугу Э. Х..-Таллин.: Валгус, 1985.-167 с.
Таблица в старой библиотеке:
MONO1 13