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...

Description complète

Détails bibliographiques

Cote:	Libro Electrónico
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Mazzara, Manuel (Éditeur intellectuel), Voronkov, Andrei (Éditeur intellectuel)
Format:	Électronique eBook
Langue:	Inglés
Publié:	Cham : Springer International Publishing : Imprint: Springer, 2016.
Édition:	1st ed. 2016.
Collection:	Theoretical Computer Science and General Issues, 9609
Sujets:	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.
Accès en ligne:	Texto Completo