Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015. The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers...

Full description

Bibliographic Details

Other Authors:	Mazzara, Manuel (Editor), Voronkov, Andrei (Editor)
Format:	eBook
Language:	English
Published:	Cham Springer International Publishing 2016, 2016
Edition:	1st ed. 2016
Series:	Theoretical Computer Science and General Issues
Subjects:	Compilers (computer Programs) Computer Science Logic And Foundations Of Programming Compilers And Interpreters Software Engineering Computer Science Formal Languages And Automata Theory Machine Theory
Online Access:	https://doi.org/10.1007/978-3-319-41579-6?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa