Вы здесь
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/19th International Sumposium, LOPSTR 2009, Coimbra, Portugal, September 2009
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2010
Ключевые слова:
Стр.:
205 p.
Редактор:
Место издания:
Издательство:
Том:
6037
Карточка:
Б2.1, Б3.1, В2.11.
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/19th International Sumposium, LOPSTR 2009, Coimbra, Portugal, September 2009Ed. by De Schreye D..-Berlin.: Springer, 2010.-Vol. 6037.-205 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO8 159