Вы здесь
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