Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, ... Notes in Computer Science, Band 7571)
Ein praxisorientiertes Werk aus dem neunten internationalen Workshop zur Rewriting‑Logik in Tallinn, das neue theoretische Ansätze mit konkreten Mo ...