Вы здесь

Types for Proofs and Programs: Revised Selected Papers/ International Conference, TYPES 2008, Toronto, Italy, March 2008

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

Б2.1, Б2.2, В2.11.

Types for Proofs and Programs: Revised Selected Papers/ International Conference, TYPES 2008, Toronto, Italy, March 2008Ed. by Berardi S., Domiani F., De Liguoro U..-Berlin.: Springer, 2009.-Vol. 5497.-323 p.-(Lecture Notes in Computer Science).

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