Summarizing Procedures in Concurrent Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2004

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

параллельный

программа

проверка

поток данных

межпроцедурный

Стр.:

P.245-255

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

Appendix: p.254-255

Место издания:

Нью-Йорк

Источник:

Карточка:

Б2.42, Б3.54.

Qadeer S., Rajamani S. K., Rehof J..

Summarizing Procedures in Concurrent Programs-Нью-Йорк.// POPL 2004, 2004.-P.245-255
Appendix: p.254-255

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

PAP28 823