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

... The experimental data obtained using Cherenkov light of EAS reflected from the snow surface of the Big Alma-Ata Lake (Kazakhstan) are presented. ... The balloon-borne measurements in the energy range 10 15 -10 20 eV are planned. ... SPHERE detector array was elaborated for balloon-borne experiment [3-5]. ... SPHERE detector was situated on the 160 m high mountain ledge nearby the B.Alma-Ata lake (2500 m above sea level) to detect Cherenkov light reflected from the snow surface of the lake. ...

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

... Institute of Mechanics . ... In 1977- 1991 A .P.Seyranian was a Member of Scientific Staff at the Institute of Problems in Mechanics of the Academy of Sciences in Moscow . ... Since 1993 A .P.Seyranian is a Leading Researcher and Professor of the Institute of Mechanics , Moscow State Lomonosov University . ... In 2003 he became an Invited Speaker and Chairman of the Session 'Stability and Control Problems in Mechanics' at the conference 'Physics and Control 2003' , Sankt-Petersburg. ...

265. Ученые детям

266. Project description | Siberian Lang