| Russian | English |
| в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени | in the previous chapter, we assumed that time is discrete. When time is modeled in this manner, possible clock values are nonnegative integers, and events can only occur at integer time values (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| в частности, если взять наиболее простой случай, загрузка набора программных абстракций C позволяет писать на этом языке код | in the simplest case, you may load a set of C programming abstractions, which will let you write C code (см. Generative Programming: Methods, Tools, and Applications / Krzysztof Czarnecki, Ulrich Eisenecker) |
| в этом случае | for this scenario |
| в этом случае первая буква в первом слове имени – маленькая, а в последующих словах – большая | in this case, the first letter of the first word is lowercase, and subsequent words have an uppercase first letter (см. Software Modeling and Design by Hassan Gomaa 2011) |
| в этом случае первая буква в первом слове имени маленькая, а в последующих словах большая | in this case, the first letter of the first word is lowercase, and subsequent words have an uppercase first letter (см. Software Modeling and Design by Hassan Gomaa 2011) |
| даже в этом случае | even so (ssn) |
