Вы здесь

Alias calculus for a simple imperative language with decidable pointer arithmetic

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2014
Стр.: 
P.131-147
Библиография: 
Bibliogr.: p.146-147
Издательство: 
Номер: 
37
Карточка: 

Б2.1.

Shilov N. V., Satekbayeva A., Vorontsov A. P..

Alias calculus for a simple imperative language with decidable pointer arithmetic: Springer// Bulletin of the Novosibirsk Computing Center-2014, №37.-P.131-147
Bibliogr.: p.146-147

Таблица в старой библиотеке: 
ISI3 374