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

... 2002. ... 110 MT2 MT8, 9 MT8 MT2 MT8 111 373 374 MT8 MT2 375 376 MT8 MT8 MT8 MT7 377 3 MT2 378 379 MT8 MT1 MT8 MT7 380 MT5 MT2 381 382 MT2, 5, 6, 7 MT2 383 . ... MT1, 8 112 MT7 MT8 MT4 MT8 MT2 MT7 MT8 MT2, 5, 6, 7 MT2 MT1 8 MT2 MT8 MT2, 8 MT8 MT8 113 MT8 MT8 MT7, 8 MT8 MT4 MT8 MT2 MT1, 2, 4, 7, 8, 9 MT8 MT1-9 395 Gunter C. Semantics of Programming Languages. ... 116 MT9 MT8 117 « » MT8 MT3 MT5, 9 MT8 MT2 MT7 P1, IT8 P1 P1, IT8 IT1, IT8 P1 MT2, 8 P7, IT1 P3, IT1 445 Tucker A. Applied Combinatorics. ...

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

• Рекомендации
• BK_Assignments - Новый элемент
• BK_Assignments -

1, 120101 (2012) : . 119991, , , . ... Alternative core environmental mo dule for students : features of the foundations of ecology from the physics p ositions V. A. Gordienko 1 1,a , K. V. Pokazeev 2,b , M. V. Starkova 3,c 3 M. V. Lomonosov Moscow State University, Physical Faculty, Department of Acoustics. ... Keywords : ecology and environmental management, environmental education, a systematic approach to the ecology and current environmental problems, modeling and prediction in ecology. ...

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

Search of Novel Crystalline Materials , Study of their Properties and Crystallization Processes . ... The work of group for the search of novel crystalline materials are held at M.V. Lomonosov Moscow State University since 1964. The main aim of investigations are search and study of new promising multifunctional materials with unusual physical properties: ferroelectrics, superionic conductors, nonlinear optical materials, laser crystals, piezoelectrics, etc. ...

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

• Поиск новых кристаллических материалов, исследование их свойств и процессов

... H. Purcell: The Fairy Queen - Act II . Г. Перселл: Королева фей - Акт II . Act I . ... The fairies entertain their queen with songs dances until Titania asks them to sing her a lullaby: immediately four allegorical figures - Night, Mystery, Secresie and Sleep - approach to do her bidding. ... Феи развлекают свою королеву песнями и танцами, пока она не просит спеть ей колыбельную: тотчас же четыре аллегорические фигуры - Ночь, Тайна, Секрет и Сон - приближаются, чтобы выполнить ее приказания. ...

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

• C. Gibbons, M. Locke: Cupid and Death - Entry 4
• H. Purcell: Ode for Queen Mary

... Брейгина М.А., Матвеева Н.П., Ермаков И.П. Роль Cl - в прорастании пыльцевого зерна и росте пыльцевой трубки. ... Брейгина М.А., Смирнова А.В., Матвеева Н.П., Ермаков И.П. Изменения мембранного потенциала в процессе прорастания пыльцевого зерна и роста пыльцевой трубки // Цитология. ... Брейгина М.А., Матвеева Н.П., Андреюк Д.С., Ермаков И.П. Трансмембранный перенос К + и Cl - в процессе активации пыльцевого зерна in vivo и in vitro . ... И.П. Ермаков, М.А. Брейгина, Н.П. Матвеева. ...

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

• Аверчева Ольга Владимировна
• Гусаковская Майя Александровна

... www.net.cmu.edu (Carnegie Mellon University, Pittsburgh, PA - English) - D . ... Washington, DC - English) - A* This site is a general network-troubleshooting utility; it runs BGP, ping, traceroute, and a number of other routing-related utilities. ... www.efrei.fr (Efrei's, Paris - French) - * Options for timeout, TTL, name resolution . ... English) . ... Each one has a link to a network information tool, which will do an nslookup, visual ping, 30-packet ping, or traceroute to it. ...

348. http://www.universe.msu.ru/files/z-13.pdf