Rekommenderade teman
Rekommenderade teman
Menade du:
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming decisions » programming decision, programming design, programming session
decisions array » decisions great, decisions grey, decisions essays
array using » arrays using
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming decisions » programming decision, programming design, programming session
decisions array » decisions great, decisions grey, decisions essays
array using » arrays using
1
Publicerad 2010
Innehållsförteckning:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”Hämta fulltext
Elektronisk
E-bok
