Вы здесь
Extended Static Checking
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
1998
Ключевые слова:
Стр.:
44 p.
Библиография:
Bibliogr.: p.39-44
Место издания:
Номер:
159
Карточка:
Б3.54, Б2.23.
Detlefs D. L., Leino K.R. M., Nelson G., Saxe J. B..
Extended Static Checking-Palo Alto., 1998.-44 p.-(Препринт Digital №159).
Bibliogr.: p.39-44
Таблица в старой библиотеке:
PREP2 647