Вы здесь

Logic Based Program Synthesis and Transformation: Revised Selected Papers/15th International Symposium, LOPSTR 2005. London, UK, September 2005

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

Б2.23, Б3.5.

Logic Based Program Synthesis and Transformation: Revised Selected Papers/15th International Symposium, LOPSTR 2005. London, UK, September 2005Ed. by Hill P. M..-Berlin, Heidelberg.: Springer, 2006.-Vol. 3901.-179 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO5 875