Temes suggerits dins de la cerca
Alternatives de cerca:
programming programming » programming programmed, programming program
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming arrays » programming coarrays, programming arcgis, programming across
arrays via » arrays a
1
Imatge de la portada
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
Afegir a favorits
Guardat en:
Eines de cerca: Obtenir subscripció RSS — Enviar per correu electrònic aquesta cerca — Guardar cerca