... if (B1) { S1; } if (B1) { S1; } if (B2) { S2; } - - ...exp... int x = 1; if (x == 1) { std::cout << "Okay" << std::endl; } else { std::cout << "Error" << std::endl; } -- ґ int strlen(const char* p) { int len = 0; do { ++len; } while (*p++); return len; } ??, ?bbb? -- , : Ї ґ , , Ї ґ , , Ї ґ , Ї ґ . ... 1977 ґ LTL, Ї , 1981 ґ (CTL), Ї , , 1981 , , 1982 ґ model checking ( ), Ї , 1986 ґ model checking ( ), Ї , 1989 ґ SPIN. ... The Spin Model Checker: Primer and Reference Manual, Addison Wesley, 2003. ...

Еще в разделе: (Показать все результаты (>2) - savenkov.lvk.cs.msu.su/ )

... Миронов А. М. (Институт Программных Систем РАН) Математические модели и методы анализа параллельных алгоритмов. ... Изложены методы анализа параллельных алгоритмов в рамках представленной модели, являющиеся обобщением методов анализа блок-схем последовательных программ путем построения индуктивных утверждений. ... Math., 19; in: J.T.Schwartz (ed.), Mathematical Aspects of Computer Science, pp. ... N. Francez, "Verification of programs", Addison-Wesley Publishers Ltd., ...

Еще в разделе: (Показать все результаты (>22) - shamolin2.imec.msu.ru/ )

... Sternberg Astronomical Institute , Moscow University . ... Present edition unites two parts of Catalogue of interacting galaxies by B.A.Vorontsov-Velyaminov: the first part (Part 1) containing 355 systems was published in 1959 [1] and the second one (Part 2) with 497 objects - in 1976 [2].Thus two published parts of Catalogue include 852 interacting systems. ... All new of them (1162 by number) were taken from the comments to the galaxies in Morphological catalogue by Vorontsov-Velyaminov et al.[ ...

Еще в разделе: (Показать все результаты (>17) - www.sai.msu.ru/ )

• Отдел внегалактической астрономии: ГАИШ Extra-galactic astronomy Group Staff

ISSN 0026-2617, Microbiology, 2008, Vol. ... Key words: late stationary phase, secondary growth, Pseudomonas aeruginosa, S and M dissociants, population structure of the culture. ... Growth dynamics and population composition of a mixed culture of P. aeruginosa S and M dissociants in the variant of autolysis in the late stationary phase: optical density, OD з 100 (1); ratio of the M dissociant in the population, % (2); pH (3); and content of reducing sugars, mg % (as glucose) (4). ...

Еще в разделе: (Показать все результаты (>14) - dis.bio.msu.ru/ )

• http://dis.bio.msu.ru/States/Woude_Baumler_2004_%20en.pdf

... Родился 28 августа 1965 г. Окончил физический факультет Московского Государственного университета им. М.В. Ломоносова в 1988 г. Специальность по образованию - физик. 1995 г. - защитил кандидатскую диссертацию. ... E-mail: larichev@optics.ru . ... Goncharov A.S., Iroshnikov N.G., Larichev A.V., Nikolaev I.P., The impact of speckle on the measurement of eye aberrations, 2014, Journal of Modern Optics, ? ... PDF . ... Goncharov A.S., Larichev A.V., Iroshnikov N.G., Ivanov V.Yu., ...

Еще в разделе: (Показать все результаты (>5) - medphys.phys.msu.ru/ )

... Aerospace and environmental medicine Automation and Remote Control Optoelectronics, Instrumentation and Data Processing Acoustical Physics St Petersburg Mathematical Journal Algebra and Logic Angiologiia i sosudistaia khirurgiia = Angiology and vascular surgery Anesteziologiya i Reanimatologiya Antibiotiki ... Moscow University Mathematics Bulletin . ... Moscow University Chemistry Bulletin . ... Mathematics - , . ... Physics, Chemistry, Mathematics Nauchno-Tekhnicheskaya Informatsiya. ...

Еще в разделе: (Показать все результаты (>3) - geol.msu.ru/ )

• http://www.geol.msu.ru/obsh/uch_ch2.doc
• http://www.geol.msu.ru/obsh/uch_ch1.doc

Gamma-rays above 10 TeV Dieter Horns ґ University Hamburg RXJ1713-3946 [HESS Coll. ... The indirect path to the accelerator sky Dieter Horns ґ University Hamburg Is it a good deal? [astro-ph/0607109] Unveiling Cosmic Ray accelerators: Interstellar medium ( B-field + gas + photons) Accelerated Nuclei Meson production via inelastic scattering Gamma-rays , Neutrinos Cosmic rays Neutral particles (photons neutrinos) retain directional information: Accelerator sky Charged particles ( ...

Еще в разделе: (Показать все результаты (>7) - tunka.sinp.msu.ru/ )

• http://tunka.sinp.msu.ru/en/presentation/Ptuskin.pdf
• http://tunka.sinp.msu.ru/en/presentation/Dedenko.pdf

... XI--XVII . ... Ac A d e m I c r e A d I N g S Conference ?Old Russian literature and television? M.V. Ivanova. old russian literature and contemporary russian television . ... e-mail: lanskoy@mail.ru. ... online. 28 2007, 13:00. http://www. expert.ru/interview/2007/03/28/pavlovsky/ 21 , , , . ... 2006, 39. http://www.expert. ru/printissues/expert/2006/39/prodazha_livejournal/print 22 , . ... 2007, 31. . ... 1917--1918 . ... Key words: Old Russian literature, plot, demonology, old printing Prologue. ...

Еще в разделе: (Показать все результаты (>3) - ftv.msu.ru/ )

... Place: A private EE centre (Laboratory for Optimization of Nature Exploitation LONE) and public kindergartens at Pushchino in the Moscow region. Target groups: Pre-school age children (3-6), school children (9-15), kindergarten teachers. ... In the second phase training was provided to all kindergarten teachers who volunteered to participate in the project as well as for 20 school children selected during practical courses, lectures and seminars. ...

293. http://sphere.sinp.msu.ru/wp-content/uploads/what_are_cosmic_rays_rus.pdf