Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers /

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014. The 13 revised full papers presented together with 3 invited pap...

Full description

Bibliographic Details

Call Number:	Libro Electrónico
Corporate Author:	SpringerLink (Online service)
Other Authors:	Escobar, Santiago (Editor)
Format:	Electronic eBook
Language:	Inglés
Published:	Cham : Springer International Publishing : Imprint: Springer, 2014.
Edition:	1st ed. 2014.
Series:	Theoretical Computer Science and General Issues, 8663
Subjects:	Computer science. Software engineering. Computer programming. Compilers (Computer programs). Machine theory. Computer Science Logic and Foundations of Programming. Software Engineering. Programming Techniques. Compilers and Interpreters. Formal Languages and Automata Theory. Models of Computation.
Online Access:	Texto Completo