Вы здесь

Главная

Computer Science Logic: Proc./22nd International Workshop, CSL 2008. 17th Annual Conference of the EACSL. Bertinoro, Italy, September 2008

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2008
Ключевые слова: 
программные логики
вычислимость
разрешимость
теория автоматов
семантика
теория типов
мю-исчисление
язык программирования
Стр.: 
513 p.
Редактор: 
Kaminski M.
Martini S.
Место издания: 
Springer
Heidelberg
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
5213
Карточка: 

Б2.1, Б2.2.

Computer Science Logic: Proc./22nd International Workshop, CSL 2008. 17th Annual Conference of the EACSL. Bertinoro, Italy, September 2008Ed. by Kaminski M., Martini S..-Springer, Heidelberg.: Springer, 2008.-Vol. 5213.-513 p.-(Lecture Notes in Computer Science).

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