ENGLISH

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

By Samson Abramsky (auth.) , Amir Pnueli , Andrei Voronkov (eds.) , Irina Virbitskaite

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2010
ISBN
3642114857, 9783642114854
DOI
10.1007/978-3-642-11486-1
Language
english
Format
PDF
Filesize
7 MB (7290270 bytes)
Series
Lecture Notes in Computer Science 5947 : Theoretical Computer Science and General Issues
Edition
1
Pages
426\436
Topic
Computers
Time added
2011-06-04 13:46:07
CompilersInterpreters; Software Engineering; Programming TeLogics and Meanings of Programs; Programming Langu

Description

This book contains thoroughly refereed and revised papers from the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009, held in Akademgorodok, Novosibirsk, Russia, in June 2009. The 26 revised full papers and 4 revised short papers presented were carefully reviewed and selected from 67 submissions. The volume also contains 5 invited papers covering a range of hot topics in system informatics. The papers address all current aspects of theoretical computer science, programming methodology, and new information technologies, which are among the most important contributions of system informatics.

Similar books