Вы здесь

Доказательство завершаемости программ средствами динамической логики

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1988
Стр.: 
С.72-83.
Выпуск: 
124
Библиография: 
Библиогр.: c.83.
Место издания: 
Карточка: 

Б2.23, Б2.14.

Шилов Н. В..

Доказательство завершаемости программ средствами динамической логики-Новосибирск.// Языки спецификаций и логическое программирование (Вычислительные системы), 1988.-С.72-83.
Библиогр.: c.83.

Таблица в старой библиотеке: 
PAP4 792