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
التنسيق: كتاب الكتروني
اللغة:English
منشور في: Berlin, Heidelberg Imprint: Springer 2012.
سلاسل:Lecture Notes in Computer Science 7571
الموضوعات:
الوصول للمادة أونلاين:Click here to view the full text content
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

النظام قيد الصيانة

نظام إدارة مكتبتنا قيد الصيانة حاليا.

معلومات إتاحة المواد والمقتنيات غير متاحة حاليا. الرجاء قبول اعتذارنا عن أي إزعاج قد يسببه ذلك والاتصال بنا للمزيد من المساعدة:

david@pintaran.my

الانترنت

Click here to view the full text content