Building Certified Libraries for PCC: Dynamic Storage Allocation

Вы здесь

Автор:

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

2003

Ключевые слова:

Стр.:

P.363-379

Библиография:

Bibliogr.: p.378-379

Источник:

Том:

2618

Карточка:

Б2.23, Б3.54.

Yu D., Hamid N. A., Shao Z..

Building Certified Libraries for PCC: Dynamic Storage Allocation// Lecture Notes in Computer Science-2003.-Vol. 2618.-P.363-379
Bibliogr.: p.378-379

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

PAP26 625