Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Chinese
English
Terms
containing
неотрицательное целое
|
all forms
|
exact matches only
|
in specified order only
Subject
Russian
English
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
)
progr.
неотрицательное целое
non-negative integer
(целое число, большее или равное нулю. Syn: natural number, positive integer
ssn
)
progr.
неотрицательное целое
значение
non-negative integer value
(
ssn
)
data.prot.
неотрицательное целое
число
non-negative integer
data.prot.
неотрицательное целое
число
abnegation number
math.
неотрицательное целое
число
nonnegative integer
progr.
неотрицательные целые
числа
nonnegative integers
(
ssn
)
progr.
неотрицательный целый
литерал
non-negative integer literal
(
ssn
)
Get short URL