Вы здесь

Главная

Rewriting Logic and Its Applications: Revised Selected Papers/10th International Workshop, WRLA 2014 Held as Satellite Event of ETAPS, Grenoble, France, April 2014

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2014
Ключевые слова: 
cloud computing
переписывание термов
условный
распределенная система
формальный анализ
формальная семантика
infinite state system
минимальный
терм
model checking
нормализация
операционная терминология
анализ программ
логика переписывания
Стр.: 
297 p.
Редактор: 
Escobar S.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
8663
Карточка: 

Rewriting Logic and Its Applications: Revised Selected Papers/10th International Workshop, WRLA 2014 Held as Satellite Event of ETAPS, Grenoble, France, April 2014Ed. by Escobar S..-Berlin.: Springer, 2014.-Vol. 8663.-297 p.-(Lecture Notes in Computer Science).

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