| Subject | Russian | English |
| math. | в основном аналогично тому, как это было в предыдущей главе | in much the same way as in the previous chapter |
| lit. | в предыдущей главе | in the previous chapter (Alex_Odeychuk) |
| gen. | в предыдущей главе | in the last chapter |
| progr. | в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени | 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) |
| scient. | в предыдущих главах | in the previous chapters |
| Makarov. | в предыдущих главах | in the earlier chapters |
| el. | в предыдущих главах мы отмечали растущее влияние паразитных явлений межсоединений на все метрики проектирования дизайна цифровых интегральных схем | in previous Chapters, we have pointed out the growing impact of interconnect parasitics on all design metrics of digital integrated circuits (см. Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003) |
| gen. | это описано в предыдущей главе | it was described in the preceding chapter |
