Rewriting logic and its applications : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers /

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012.<br>The 8 revised full papers presented together with 4 invi...

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

Сохранить в:
Библиографические подробности
Соавтор: SpringerLink (Online service)
Другие авторы: Durán, Franciso
Формат: eКнига
Язык:English
Опубликовано: Berlin, Heidelberg Imprint: Springer 2012.
Серии:Lecture Notes in Computer Science 7571
Предметы:
Online-ссылка:Click here to view the full text content
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!

Система на техническом обслуживании

Система поддержки библиотеки сейчас на техническом обслуживаении.

Задолженности и информация по доступности документа сейчас недоступна. Наши извенения за неудобства и обратитесь за советом:

david@pintaran.my

Internet

Click here to view the full text content