Вы здесь

Interactive Systems: Design, Specification, and Verification: Proc./15th International Workshop, DSV-IS 2008. Kingston, Canada, July 2008

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2008
Стр.: 
311 p.
Редактор: 
Место издания: 
Издательство: 
Том: 
5136
Карточка: 

Б3.5, В2.46.

Interactive Systems: Design, Specification, and Verification: Proc./15th International Workshop, DSV-IS 2008. Kingston, Canada, July 2008Ed. by Graham T.C. N., Palanque Ph..-Berlin, Heidelberg.: Springer, 2008.-Vol. 5136.-311 p.-(Lecture Notes in Computer Science).

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