Automata, Languages and Programming: Proc./25th Intern. Colloq., ICALP 98. Aalborg, Denmark, July 1998 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

1998

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

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

сложность

тип данных

семантика

верификация

Стр.:

932 p.

Редактор:

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

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

Серия:

Lecture Notes in Computer Science

Том:

1443

Карточка:

Б1.3, Б2, А2.2.

Automata, Languages and Programming: Proc./25th Intern. Colloq., ICALP 98. Aalborg, Denmark, July 1998Ed. by Larsen K. G., Skyum S., Winskel G..-Berlin, Heidelberg.: Springer, 1998.-Vol. 1443.-932 p.-(Lecture Notes in Computer Science).

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

MONO2 619