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

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

• Материалы по курсу "Верификация программ на моделях" (2012г.)

... 000, 1­13 (2010) Printed 21 September 2011 A (MN L TEX style file v2.2) A universal ultraviolet-optical colour­colour­magnitude relation of galaxies I1gor V. Chilingarian1,2, and Ivan Yu. ... Received 2011 Sep 15; in original form 2011 Feb 6 ABSTRACT The bimodal galaxy distribution in the optical colour­magnitude diagram (CMD) comprises a narrow "red sequence" populated mostly by early-type galaxies and a broad "blue cloud" dominated by star-forming systems. ...

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

• K-corrections calculator

... The Informativeness of Coherence Analysis in EEG Studies A. P. Kulaichev UDC 612.821.6 Translated from Zhurnal Vysshei Nervnoi Deyatel'nosti imeni I. P. Pavlova, Vol. ... KEY WORDS: coherence, spectral analysis, EEG non-stationarity, amplitude modulation. ... In particular, the two fundamental differences between EEG signals and most other physical signals are not considered: a) fundamental non-stationarity; b) amplitude modulation at all frequency ranges. ... Coherence in technical addenda. ...

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

... Chair of Computer Methods of Physics . Department of Physics, M.V. Lomonosov Moscow State University . Welcome to the website of Chair of Computer Methods in Physics! ... methods of analysis and interpretation of experiments (computing and measurements systems theory) . mathematical methods of image analysis and interpretation . methods of fuzzy and uncertain fuzzy . ... Department of Physics M.V. Lomonosov Moscow State University , Chair of Computer Methods of Physics , 2014 . ...

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

• Учебно-методическое пособие по языку программирования Си++, I-2 | Кафедра

... Information for the applicants . Contact information . ... Bioengineering and bioinformatics? Applicants who passed entering exams with the highest scores are free from any tutorial fees (state-funded). ... The annual FBB tutorial fee is 261 600 rubles per academic year. ... 119234, Moscow, GSP-1, Leninskiye Gory, MSU, 1-73, . Faculty of Bioengineering and Bioinformatics, office 433. ... MSU information office +7 (495) 939-10-00 . ... 2016 Faculty of Bioengineering and Bioinformatics, . ...

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

• Information for the applicantsтАФ Faculty of Bioengineering and Bioinformatics,

... March, 2005 . ... Moscow State University Russian Language Centre . Moscow State University . ... Learn Russian at the Moscow State University! The Official MGU Hymn . ... MGU Russian Language Centre changed the prices for special offers and distance training web-page is coming soon. ... About 360 guests, among them the descendants of the noble families which are well known in Russia' history, gathered at prestigious London hotel Dorchester. (more.. ... download our flash movie about MGU . ...

347. Botanical garden of Lomonosov Moscow State University

348. Hello world! Лаборатория лазерной интерферометрии

349. Information is not available

350. студентам-геологам | Кафедра автоматизации научных исследований ВМК МГУ

351. distant.msu.ru: Факультет почвоведения