Вы здесь

Главная

Practical Aspects of Declarative Languages: Proc./12th International Symposium, PADL 2010, Madrid, Spain, January 2010

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2010
Ключевые слова: 
constraint programming
принятие решений
декларативный язык
распределенная система
функциональное программирование
реализация
логическое программирование
model checking
параллельные вычисления
производительность
анализ программ
выполнение запросов
расписание
защита
статистический анализ
доказательство теорем
верификация
Стр.: 
297 p.
Редактор: 
Carro M.
Pena R.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
5937
Карточка: 

Б3.1, Б3.5.

Practical Aspects of Declarative Languages: Proc./12th International Symposium, PADL 2010, Madrid, Spain, January 2010Ed. by Carro M., Pena R..-Berlin.: Springer, 2010.-Vol. 5937.-297 p.-(Lecture Notes in Computer Science).

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