Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
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 c » arrays _, arrays a, arrays 1
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 c » arrays _, arrays a, arrays 1
1
Pubblicazione 2010
Sommario:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”Testo
Elettronico
eBook
