Rewriting logic and its applications : 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 ; revised selected papers

Bibliographische Detailangaben
Weitere beteiligte Personen: Ölveczky, Peter Csaba (HerausgeberIn) ; WRLA (BerichterstatterIn)
Format: Buch
Sprache:English
Veröffentlicht: Berlin Heidelberg [u.a.] : Springer 2010
ISBN:3642163092
9783642163098
1280389737
9781280389733
Schriftenreihe:Lecture notes in computer science 6381
Anmerkung:Literaturangaben
Umfang:X, 261 S. graph. Darst.
Schlagworte:
QR-Code: QR-Code anzeigen