Вы здесь

Tools and Algorithms for the Construction and Analysis of Systems: Proc./17th Intern.Conf. TACAS 2001, Held as Part of Joint European Conferences ETAPS 2001, Saarbrucken, Germany, March 2011

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

Б2.2, Б3.5.

Tools and Algorithms for the Construction and Analysis of Systems: Proc./17th Intern.Conf. TACAS 2001, Held as Part of Joint European Conferences ETAPS 2001, Saarbrucken, Germany, March 2011Ed. by Abdulla P. A., Leino K.R. M..-Berlin.: Springer, 2011.-Vol. 6605.-392 p.-(Lecture Notes in Computer Science).

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