Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania. The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus...

Full description

Bibliographic Details

Call Number:	Libro Electrónico
Corporate Author:	SpringerLink (Online service)
Other Authors:	Codescu, Mihai (Editor), Diaconescu, Răzvan (Editor), Țuțu, Ionuț (Editor)
Format:	Electronic eBook
Language:	Inglés
Published:	Cham : Springer International Publishing : Imprint: Springer, 2015.
Edition:	1st ed. 2015.
Series:	Theoretical Computer Science and General Issues, 9463
Subjects:	Computer science. Machine theory. Computer science-Mathematics. Software engineering. Mathematical logic. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory. Mathematics of Computing. Software Engineering. Theory of Computation. Mathematical Logic and Foundations.
Online Access:	Texto Completo