Вы здесь

Logic-Based Program Synthesis and Transformation

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

Б2.23, Б2.14, Б3.21.

Logic-Based Program Synthesis and TransformationEd. by Bossi A..-Berlin, Heidelberg.: Springer, 2000.-Vol. 1817.-313 p.-(Lecture Notes in Computer Science).

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