Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Authors :: Alexander K. Petrenko
Andrei Voronkov
Alexander K. Petrenko
Andrei Voronkov
Publication Year :: 2018
Abstract: This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017. The 31 full papers presented in this volume were carefully reviewed and selected from 57 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.

Subjects :: Computer science
Software engineering
Compilers (Computer programs)
Computer programming
Electronic digital computers—Evaluation
Computers
Professions

Language :: English
ISBNs :: 9783319743127 and 9783319743134
Volume :: 10742
Database :: eBook Index
Journal :: Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Publication Type :: eBook
Accession number :: 2554178

Tools