Вы здесь

Методы компиляции мета-логических программ при помо и абстрактной интерпретации

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1991
Стр.: 
С.243-248.
Библиография: 
Библиогр.: c.248.
Место издания: 
Карточка: 

Б3.22.

Буланже Д. Ю..

Методы компиляции мета-логических программ при помо и абстрактной интерпретации-Новосибирск.// Смешанные вычисления и преобразование программ, 1991.-С.243-248.
Библиогр.: c.248.

Таблица в старой библиотеке: 
PAP3 440