| 书目名称 | Perspectives of Systems Informatics | | 副标题 | 7th International An | | 编辑 | Amir Pnueli,Irina Virbitskaite,Andrei Voronkov | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akad- gorodok (Novosibirsk, Russia), June 15–19, 2009. PSI is a forum for academic and industrial researchers, developers and users working on topics relating to computer, software and information sciences. The conference serves to bridge the gaps between di?erent communities whose - searchareasarecoveredbybutnotlimitedtofoundationsofprogramandsystem development and analysis, programming methodology and softwareengineering, and information technologies. PSI 2009 was dedicated to the memory of a prominent scientist, academician Andrei Ershov (1931–1988),and to a signi?cant date in the history of computer science in the country, namely, the 50th anniversary of the Programming - partment founded by Andrei Ershov. Initially, the department was a part of the Institute of Mathematics and later, in 1964, it joined the newly established Computing Center of the Siberian Branch of the USSR Academy of Sciences. Andrei Ershov, who was responsible for forming the department, gathered a team of young graduates from leading Soviet universities. The ?rst signi? | | 出版日期 | Conference proceedings 2010 | | 关键词 | Constraint; Debugging; Java; Linux; approximation; aspect-oriented programming; automated test generation; | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-11486-1 | | isbn_softcover | 978-3-642-11485-4 | | isbn_ebook | 978-3-642-11486-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2010 |
The information of publication is updating
|
|
发表于 2025-3-21 18:47:36
