The CD contains 3 educational plays recorded by professional actores and teachers for the ELT Theatre performances, and teaching materials offering recommendations, comments and a bief overview of the key intercultural issues highlighted in the plays. They are intended for both classroom and extracurriculum activities and target students (Intermediate level) who aim to raise their cross-cultural competence and master effective communication with English speaking partners.
The twenty-seven volume of the series "International Migration of Population: Russia and Contemporary World" is a collection of papers submitted to the Session 06-03 "The effects of migration on areas of destination" of the XXVII IUSSP International Population Conference *26031 August 2013, South Korea, Busan). The session deals with major international migration trends, increasing role of international migration in the demographic development of receiving countries.
The authors are responsible for the reliability of data and other materials used. The series is both of scientific and educational character and can be accordingly used in teaching process.
This textbook is devoted to formal methods for program verification and is based on the lectures given by the author at CMC MSU, DCAM MIPT, and FCS HSE. It describes the basics of such approaches as deductive analysis and model checking. The list of topics includes formal semantics of programming languages (operational and axiomatic semantics), formal specification of requirements (software contracts and the linear-time temporal logic), methods for proving program correctness (the method of inductive assertions and the method of well-founded sets), and model checking methods (the automata-theoretic approach in the explicit and symbolic forms). The textbook also addresses issues of abstract interpretation, constraint solving, and model-based testing; it provides information on the Frama-C and Spin tools. Each chapter is accompanied by examples and exercises.
The book «Population development and population policy» (series «Population studies») is dedicated to the famous Russian demographer, Dr. Sc. (Economics), MSU emeritus professor A.Y. Kvasha. The authors are colleagues and students of A.Y. Kvasha. The first part includes biography of A.Y. Kvasha, list of his main scientific papers and PhD theses carried out under his supervision. The second part is devoted to reminiscences of his disciples and colleagues. The third part contains articles – their themes are associated with A.Y. Kvasha: demographic analysis and projections, population policy, economic, social and military demography. For researchers, post-doctoral fellows, students and anyone interested in population problems