RRewriting Logic and Its ApplicationsRewriting Logic and Its Applicationsde Peter Csaba ÖlveczkyEdiciones (1)Rewriting Logic and Its Applications (2010)Springer London, Limited · inglés · ISBN 9783642163104Más obras de Peter Csaba ÖlveczkyFormal Aspects of Component SoftwareFormal Techniques for Safety-Critical SystemsDesigning Reliable Distributed Systems
