Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming nets » programming net, programming sets, programming meets
nets array » sets arrays, lens array, nested array
array a » array _
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming nets » programming net, programming sets, programming meets
nets array » sets arrays, lens array, nested array
array a » array _
1
Publicat 2010
Taula de continguts:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”Obtenir text complet
Electrònic
eBook
