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

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

... Faculty of Physics . ... Research Centers . ... Search Faculties Staff . Education . ... Any division Budget Depatment Center of Computer Physics (CCP) Center of Education Quality Control Center of Hydrophysical Studies Center of Information Systems and Technologies (CIST) Chair of Acoustics Chair of Astrophysics and Stellar Astronomy Chair of Atomic Physics , Plasma Physics , and Microelectronics Chair of Biophysics Chair of Celestial Mechanics, Astrometry, and Gravimetry ...

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

Dynamo Theory and Earth's Magnetic Field Paul Demorest May 21, 2001 1 Intro duction The Earth's magnetic field belongs in that class of physical phenomena which are commonplace yet also very complex. ... 3 Single Disc Dynamo Before we dive into the mess of equations and approximations that describe how fluid motion and magnetic field interact, it is useful to demonstrate a very simple system which exhibits dynamo action. ... A system without fluid motion cannot support a magnetic field indefinitely. ...

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

• http://ocean.phys.msu.ru/science/nosov/EGU2010_pumping.pdf
• http://ocean.phys.msu.ru/courses/stathyd/2001%20Ferrari%20et%20al.%2C%20The%20temperature-salinity%20relationship%20of%20the%20mixed%20layer.pdf
• http://ocean.phys.msu.ru/courses/stathyd/2002%20Smyth%20et%20al.%2C%20Shear%20instability%20and%20gravity%20wave%20saturation%20in%20an%20asymmetrically%20stratified%20jet.pdf

... Master's Programme . ... On-line консультант . ... Master s Programme Enterprise Resource Management System has been developed basing on methodology from SAP, Oracle, Microsoft Companies, as well as the experience of national higher school and international universities. The key objective (mission) of the Programme is to educate professionals in the organization and implementation of projects aimed at deployment and maintenance of ERP systems at domestic enterprises. ...

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

... Институт . ... Студентам . Published by admin on April 6, 2016 under Новости . ... Русско-германского института науки и культуры А. Л. Фомин об истории и . ... 09.00 - 15.30 љ љљ 736 - 1.ГУМ . ... Морозова Е.Б. пн. љ17-00? 18-30, 18-45?20-15, 20-30?21-15љ 1 к., ауд.736 1 ГУМ . ... Башкиров В. М. вторник 15.00-17.00, четверг љ15.00-17.00, 1 ГУМ ауд.736 . вторник 17.00-19.00, пятница 17.00-19.00 1 ГУМ ауд.736 . ... Published by admin on December 16, 2015 under Новости . ... December 2011 . ...

307. Интернет

308. Научная Сеть - Scientific Network

309. http://www.fbm.msu.ru/about/struct/labs/lima/paper4.pdf

310. http://beams.chem.msu.ru/doc/mce-2006.pdf

311. http://mph.cs.msu.ru/mph/arh/blank/1999pro-en.doc

312. Кафедра квантовой теории и физики высоких энергий

313. Пакеты прикладных программ - Смирнов А.И.

314. http://rusypt.msu.ru/doc/piter_ypt.pdf