Вы здесь

Главная

Perspectives of System Informatics: Revised Papers/6th International Andrei Ershov Memorial Conference, PSI 2006. Novosibirsk, Russia, June 2006

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2007
Ключевые слова: 
иси
база данных
параллелизм
сети петри
верификация
распределенная система
методология программирования
семантика
модель вычислений
спецификация
Стр.: 
496 p.
Редактор: 
Virbitskaite I.
Voronkov A.
Место издания: 
Berlin
Heidelberg
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
4378
Карточка: 

Б2.2, Б3.2, Б3.5.

Perspectives of System Informatics: Revised Papers/6th International Andrei Ershov Memorial Conference, PSI 2006. Novosibirsk, Russia, June 2006Ed. by Virbitskaite I., Voronkov A..-Berlin, Heidelberg.: Springer, 2007.-Vol. 4378.-496 p.-(Lecture Notes in Computer Science).

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