ENGLISH

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

By Andrei Voronkov (eds.) , Manuel Mazzara

Book information

Publisher
Springer International Publishing
Year
2016
ISBN
978-3-319-41578-9, 978-3-319-41579-6
DOI
10.1007/978-3-319-41579-6
Language
english
Format
PDF
Filesize
13 MB (13399917 bytes)
Series
Lecture Notes in Computer Science 9609
Edition
1
Pages
X, 341\351
Time added
2016-07-20 04:00:00
CompilersInterpreters; Mathematical Logic and Formal LanguaLogics and Meanings of Programs; Software Engineer

Description

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 cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.

Similar books