Logic Based Program Synthesis and Transformation: Proc./10th Intern. Workshop, LOPSTR 2000, London, UK, July 2000 | Мемориальная библиотека А.П. Ершова

Вы здесь

Количество экземпляров:

1

Вид:

Сборник или журнал

Год:

2001

Ключевые слова:

программа

трансформация

Стр.:

183 p.

Редактор:

Место издания:

Издательство:

Серия:

Lecture Notes in Computer Science

Том:

2042

Карточка:

Б2.23, Б3.21, Б2.14.

Logic Based Program Synthesis and Transformation: Proc./10th Intern. Workshop, LOPSTR 2000, London, UK, July 2000Ed. by Lau K. -K..-Berlin, Heidelberg.: Springer, 2001.-Vol. 2042.-183 p.-(Lecture Notes in Computer Science).

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

MONO3 578