Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming decision » programming decisions, programming recursion, programming design
decision arrays » decision areas, recursion arrays, decision essays
arrays based » array based
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming decision » programming decisions, programming recursion, programming design
decision arrays » decision areas, recursion arrays, decision essays
arrays based » array based
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
