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
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Peter Csaba Ölveczky
Themen in »Rewriting Logic and Its Applications«
Debugging LA Rewriting logic concurrency concurrent systems distributed systems first-order logics higher-order logics interactive systems mobile systems modal logics object-oriented systems open ended systems parallel systems parallelism
Stimmen zu »Rewriting Logic and Its Applications«
Details
ISBN: 9783642163104
Verlag: Springer Berlin
Erscheinung: 02.10.2010