Вы здесь

Abstract Interpretation and Finite Domain Symbolic Constraints

Автор: 
Вид: 
Статья из сборника или журнала
Год: 
1995
Стр.: 
P.147-170.
Библиография: 
Bibliogr.: p.166-170.
Издательство: 
Том: 
910
Карточка: 

Б2.35.

Le Charlier B..

Abstract Interpretation and Finite Domain Symbolic Constraints: Springer// Lecture Notes in Computer Science-1995.-Vol. 910.-P.147-170.
Bibliogr.: p.166-170.

Таблица в старой библиотеке: 
PAP11 342