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

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

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014. The 13 revised full papers presented together with 3 invited pap...

Полное описание

Библиографическая информация
Опубликовано в: :Springer eBooks
Соавтор: SpringerLink (Online service)
Другие авторы: Escobar, Santiago (Редактор)
Формат: Электронная книга
Язык:English
Публикация: Cham : Springer International Publishing : Imprint: Springer, 2014.
Серии:Lecture Notes in Computer Science,
Предметы:
Computer Science.
Software engineering.
Logic design.
Logics and Meanings of Programs.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Models and Principles.
Online-ссылка:http://dx.doi.org/10.1007/978-3-319-12904-4
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/978-3-319-12904-4
Перейти в каталог НБ ТГУ

Похожие документы