Вы здесь

Verified Software: Theories, Tools, Experiments: Proc./4th International Conference, VSTTE 2012, Philadelphia,PF,USA, January 2012

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

Б2.2, Б3.1.

Verified Software: Theories, Tools, Experiments: Proc./4th International Conference, VSTTE 2012, Philadelphia,PF,USA, January 2012Ed. by Joshi R., Muller P., Podelski A..-Berlin.: Springer, 2012.-Vol. 7152.-326 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO9 310