Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming systems » programming system, programming series, programming problems
systems array » systems abram, systems ajay, systems area
array via » arrays via, array a, array ara
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming systems » programming system, programming series, programming problems
systems array » systems abram, systems ajay, systems area
array via » arrays via, array a, array ara
1
Опубликовано 2010
Оглавление:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”Полный текст
Электронный ресурс
eКнига
