Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming session » programming series, programming service, programs session
session array » emission array, station array, suspension array
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming session » programming series, programming service, programs session
session array » emission array, station array, suspension array
1
Опубликовано 2010
Оглавление:
“... Model Enumeration -- Session 13. Concurrent Program Verification II -- Bounded Underapproximations...”Полный текст
Электронный ресурс
eКнига
