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

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