Вы здесь

Главная

Logic-Based Program Synthesis and Transformation: Revised Selected Papers/22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 2012

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2013
Ключевые слова: 
программирование
множество ответов
логическое программирование
разработка
описание
отладка
система безопасности
тестирование по
Стр.: 
245 p.
Редактор: 
Albert E.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
7844
Карточка: 

Б3.54, В2.11.

Logic-Based Program Synthesis and Transformation: Revised Selected Papers/22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 2012Ed. by Albert E..-Berlin.: Springer, 2013.-Vol. 7844.-245 p.-(Lecture Notes in Computer Science).

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