Вы здесь

Logic-Based Program Synthesis and Transformation: Revised Selected Papers/ 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 2011

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

Б3.54, Б2.1, Б4.12.

Logic-Based Program Synthesis and Transformation: Revised Selected Papers/ 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 2011Ed. by Vidal G..-Berlin.: Springer, 2012.-Vol. 7225.-254 p.-(Lecture Notes in Computer Science).

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