Вы здесь
Logic Based Program Synthesis and Transformation: Revised Selected Papers/12th Intern. Workshop, LOPSTR 2002, Madrid, Spain, September 2002
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2003
Стр.:
281 p.
Редактор:
Место издания:
Издательство:
Том:
2664
Карточка:
Б2.23, Б3.21, Б2.1.
Logic Based Program Synthesis and Transformation: Revised Selected Papers/12th Intern. Workshop, LOPSTR 2002, Madrid, Spain, September 2002Ed. by Leuschel M..-Berlin, Heidelberg.: Springer, 2003.-Vol. 2664.-281 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO4 463