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...

Volledige beschrijving

Bewaard in:
Bibliografische gegevens
Coauteur: SpringerLink (Online service)
Andere auteurs: Durán, Franciso
Formaat: E-boek
Taal:English
Gepubliceerd in: Berlin, Heidelberg Imprint: Springer 2012.
Reeks:Lecture Notes in Computer Science 7571
Onderwerpen:
Online toegang:Click here to view the full text content
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!

Het systeem is offline vanwege onderhoudswerken

Ons bibliotheek beheerssysteem is momenteel in onderhoud.

Reserveringen en beschikbaarheid van items momenteel niet beschikbaar. Met onze excuses. Contacteer ons voor hulp:

david@pintaran.my

Internet

Click here to view the full text content