Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming programmed » processing programmed
programmed array » programmable array, programmed manual, programmed graph
array via » arrays via, array a, array ara
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming programmed » processing programmed
programmed array » programmable array, programmed manual, programmed graph
array via » arrays via, array a, array ara
1
Udgivet 2010
Indholdsfortegnelse:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”Få fuldtekst
Electronisk
eBog
