Вы здесь

Главная

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science: Proc./26th International Conference Kolkata,India,December 2006

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2006
Ключевые слова: 
технология программирования
software
теория графов
алгоритм
раскраска
анализ программ
верификация
семантика
теория автоматов
Стр.: 
430 p.
Редактор: 
Arun-Kumar S.
Garg N.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
4337
Карточка: 

Б2.1, Б2.2, Б4.12.

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science: Proc./26th International Conference Kolkata,India,December 2006Ed. by Arun-Kumar S., Garg N..-Berlin.: Springer, 2006.-Vol. 4337.-430 p.-(Lecture Notes in Computer Science).

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