Logic-Based Program Synthesis and Transformation: Proc./8th Intern. Workshop, LOPSTR 98. Manchester, UK, June 1998 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

1999

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

логический

программа

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

Стр.:

331 p.

Редактор:

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

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

Серия:

Lecture Notes in Computer Science

Том:

1559

Карточка:

Б2.2, Б3.21, Б2.14.

Logic-Based Program Synthesis and Transformation: Proc./8th Intern. Workshop, LOPSTR 98. Manchester, UK, June 1998Ed. by Flener P..-Berlin, Heidelberg.: Springer, 1999.-Vol. 1559.-331 p.-(Lecture Notes in Computer Science).

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

MONO2 783