Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Chinese
French
German
Japanese
Russian
Slovene
Terms
for subject
Programming
containing
nonnegative integer
|
all forms
|
in specified order only
English
Russian
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
)
nonnegative integers
неотрицательные целые числа
(
ssn
)
Get short URL