Вы здесь

Abstract Interpretation and Application to Logic Programs

Автор: 
Колл. автор: 
Вид: 
Препринт
Год: 
1992
Стр.: 
64 p.
Библиография: 
Bibliogr.: p.55-64.
Место издания: 
Номер: 
LIX/RR/92/08
Карточка: 

Б2.24, Б2.14.

Cousot P., Cousot R..

Abstract Interpretation and Application to Logic Programs-Palaiseau., 1992.-64 p.-(Препринт Ecole Polytechnique №LIX/RR/92/08).
Bibliogr.: p.55-64.

Таблица в старой библиотеке: 
PREP1 695