Programming Languages and Systems: Proc./Third Asian Symposium, APLAS 2005. Tsukuba, Japan, November 2005 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

Сборник или журнал

Год:

2005

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

язык программирования

система программирования

поток данных

семантика

статический

тип данных

верификация

Стр.:

435 p.

Редактор:

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

Издательство:

Серия:

Lecture Notes in Computer Science

Том:

3780

Карточка:

Б3, Б2.14, Б2.2.

Programming Languages and Systems: Proc./Third Asian Symposium, APLAS 2005. Tsukuba, Japan, November 2005Ed. by Yi K..-Berlin, Heidelberg.: Springer, 2005.-Vol. 3780.-435 p.-(Lecture Notes in Computer Science).

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

MONO5 780