... 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/ )

• http://savenkov.lvk.cs.msu.su/mc/lect04.pdf

... x25BA; Login to the site . Skip to create new account . Login here using your username and password . ... Username . Password . ... Some courses may allow guest access . ... For full access to courses you'll need to take a minute to create a new account for yourself on this web site. ... You can now access the full course. From now on you will only need to enter your personal username and password (in the form on this page) to log in and access any course you have enrolled in. ...

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

• New account

www.vovr.ru 1992 14 · 1 0 , 20 12 CHUCHALIN A., GERASIMOV S. THE COMPETENCES OF ENGINEER ING PROGRAMS GRADUATES: NATIONAL AND INTERNATIONAL STANDARDS The issues of modernization of criteria used by Association of Engineering Education of Russia i n public accreditation HEI's engi neeri ng education programs ar e analyzed in the paper. ... Key word s: Russian higher professional educati on reform, federal state educatio nal standards (FSES), FSES based HEI's undergraduate educational programs. ...

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

• http://www.umo.msu.ru/docs/projects/monitoring/mon_effect_fgos_8-9_12.pdf

Cosmic Research, Vol. 42, No. 5, 2004, pp. 435­488. Translated from Kosmicheskie Issledovaniya, Vol. 42, No. 5, 2004, pp. 453­508. Original Russian Text Copyright © 2004 by Veselovsky, Panasyuk, Avdyushin, Bazilevskaya, Belov, Bogachev, Bogod, Bogomolov, Bothmer, Boyarchuk, Vashenyuk, Vlasov, Gnezdilov, Gorgutsa, Grechnev, Denisov, Dmitriev, Dryer, Yermolaev, Eroshenko, Zherebtsov, Zhitnik, Zhukov, Zastenker, Zelenyi, Zeldovich, Ivanov-Kholodnyi, Ignat'ev, Ishkov, Kolomiytsev, Krasheninnikov, Kudela,

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

• http://www.kosmofizika.ru/buri/pansyketal.pdf

Сайт кафедры магнетизма Московского Университета . ... о кафедре . сотрудники . ... Перов Николай Сергеевич . ... E-mail: perov@magn.ru . ... E.A. Gan'shina, A.B. Granovsky, A.F. Orlov, N.S. Perov, M.V. Vashuk 'Magneto-optical spectroscopy of diluted magnetic oxides TiO2: Co' Journal of Magnetism and Magnetic Materials 321 (7) (2009), pp. ... N.S. Perov, P.M. Sheverdyaeva, M. Inoue, Effect of magnetic field on the electrode potential of metals, Journal of Applied Physics, 91 (10)(2002) 8557-8559. ...

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

• Collaboration

1, 120102 (2012) 2D- - . ... 2D- - E-mail: kozlov@polly.phys.msu.ru 2012 120102-1 [4, 7], . ... 2D- - 1, 120102 (2012) 1D- , x n+1 . ... 5: (), ( ) P () a = 1.9 = 0.1 t = 10000 . ... 2] Kaneko K. Chaos. ... E-mail: kozlov@pol ly.phys.msu.ru In the field of synchronization processes coupled map lattices (CML) represent paradigmatic models of extended systems exhibiting spatiotemporal chaos, self-organization and synchronization due to the rich variety of global qualitative behavior. ... 2012 120102-8 ...

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

• http://uzmu.phys.msu.ru/issue/120101.pdf
• http://uzmu.phys.msu.ru/issue/120103.pdf

... About the park-museum "Kolomenskoye" Kolomenskoye is a nice park and a former royal estate situated several kilometers to the southeast of the city center of Moscow, on the ancient road leading to the ancient picturesque town of Kolomna (hence the name). ... The estate was one of the favourite places for Ivan the Terrible. ... In XVI-XVII centuries there develops a unique architectural ensemble, subordinated to the idea of ceremonial royal residence, which is of great artistic and historical value. ...

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

• Department of Mathematics, Faculty of Physics, Lomonosov MSU

... Студенческая Астрономическая обсерватория ГАИШ . ... Структура ГАИШ : Отдел внегалактической астрономии : . ... For those really interested in galaxies, extragalactic astronomy or the aspects of cosmology we study, we can always find an interesting problem to work on. ... To make your work in the Group most effective, it would be useful to study the following courses read by our group members as well as the members of other groups in our and other institures. ... Student information . ...

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

• Moscow Astronomical Plate Archives: Contents, Digitization, Current and